|
 
|
[EKP03] Quasar : A New Tool for Concurrent Ada Programs Analysis
Conférence Internationale avec comité de lecture : January 2003, Vol. 2655, pp.166-181, Series LNCS,
motcle:
Résumé:
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the concept of patterns. The analysis of a concurrent Ada program by our tool proceeds in four steps\,: automatic extraction of the concurrent part of the program; translation of the simplified program into a formal model using predefined patterns that are combined by substitution and merging constructors; analysis of the model both by structural techniques and model-checking techniques; reporting deadlock or starvation results. We demonstrate the usefulness of Quasar by analyzing several variations of a non trivial concurrent program.
Commentaires:
Take a look at the Quasar Web pages
BibTeX
| @inproceedings { | |||
| EKP03, | |||
| title | = | "{Quasar : A New Tool for Concurrent Ada Programs Analysis}", | |
| author | = | " S. Evangelista and C. Kaiser and J. Pradat-Peyre and P. Rousseau ", | |
| year | = | 2003, | |
| month | = | "January", | |
| series | = | "LNCS", | |
| volume | = | 2655, | |
| pages | = | "166-181", | |
| note | = | "{Take a look at the Quasar Web pages }", | |
| } | |||
