VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings

MaRDI QIDQ1948375zbMATH OpenFDO

Authors

Publication date 6 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/50/4

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Proceedings 14th International Workshop on Verification of Infinite-State Systems
• Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18--22, 2001. Proceedings
• Proceedings of the first workshop on verification of adaptive systems (VerAS 2007), Kaiserslautern, Germany, September 14, 2007
• Tools and Algorithms for the Construction and Analysis of Systems
• Proceedings of INFINITY 2003, the 5th international workshop on verification of infinite-state systems, a satellite workshop of CONCUR 2003, Marseille, FranceNEWLINESeptember 2, 2003
• An assertional language for the verification of systems parametric in several dimensions (preliminary results)
• Proceedings 13th International Workshop on Verification of Infinite-State Systems
• Computer aided verification. 5th international conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
• Workshop on verification of logic programs. Las Cruces, NM, USA, December 1, 1999
• Verification of infinite state systems, Infinity '96. Selected papers from the 1st international workshop, Univ. of Pisa, Italy, August 30--31, 1996

This page was built for publication: VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1948375)