Quasar Download

as soon as possible ...

Quasar Configuration

In order to compile and run Quasar on Linux, load and link :

• GNAT - Version used by Quasar : GNAT GPL 2005 - Last known version : GNAT GPL 2005
  the Ada compiler for the analysed program
• ASIS - Version used by Quasar : ASIS GPL 2005 - Last known version : ASIS GPL 2005
  the syntactic tree manipulator for the analysed Ada program
• XML/Ada - Version used by Quasar : 2.0.1 - Last known version : 2.0.1
  the XML library for Ada
• Helena - Version used by Quasar : 1.0.4 - Last known version : 1.0.4
  the Quasar model checker
  Wikipedia page for Helena

last update : 04/11/2004