QUASAR : What is QUASAR ?

[ What is Quasar ? ]
[ What is a correct concurrent program and how can it be validated ? ]
[ How does Quasar proceed ? ]
[ What are the benefits of using Quasar ? ]
[ What is the current implementation state ? ]

What is the current implementation state ?

The current implementation of Quasar accepts Ada concurrent programs corresponding to a large part of the Ada language (see "Supported Language" section). It's based on the implementation of the ASIS for GNAT Ada 95 compiler. The graphic part has been designed with GtkAda. In the current version of Quasar we use Maria or Prod as model checker.

last update : 20/10/2005