Authors
Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu
Publication date
2001
Conference
Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings 13
Pages
368-372
Publisher
Springer Berlin Heidelberg
Description
Finite-state model-checkers such as Smv [13] and Spin [11] do not allow to deal with important aspects that appear in modelling and analysing complex systems, e.g., communication protocols. Among these aspects: real-time constraints, manipulation of unbounded data structures like counters, communication through unbounded channels, parametric reasoning, etc.
Total citations
2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242361014107131213137855342151331
Scholar articles
A Annichini, A Bouajjani, M Sighireanu - … Aided Verification: 13th International Conference, CAV …, 2001