What is Quasar ?

Quasar, is a tool which allows analyzing and validating concurrent programs. In other words, Quasar is Quickly Undertaking the Analysis of Safety and providing Anomaly Report when necessary.

.pdf / .ps versions of the whole section.

Posters :

--- 2006 ---

--- 2005 ---

--- 2004 ---

last update : 05/07/2006