A Framework for the Verification of Parameterized Infinite-state Systems*
- Alberti, Francesco Network Support System, Eolo SpA, via Gran San Bernardo, 12, 21052 Busto Arsizio, Italy. francesco.alberti@eolo.it
- Ghilardi, Silvio Department of Mathematics, Università degli Studi di Milano, via Saldini, 50, 20133 Milano, Italy. silvio.ghilardi@unimi.it
- Sharygina, Natasha Faculty of Informatics, Università della Svizzera Italiana, via G. Buffi, 13, CH-6900 Lugano, Switzerland. natasha.sharygina@usi.ch
Published in:
- Fundamenta Informaticae. - IOS Press. - 2017, vol. 150, no. 1, p. 1-24
- Language
-
- English
- Open access status
- green
- Identifiers
-
- DOI 10.3233/fi-2017-1458
- ISSN 0169-2968
- Persistent URL
- https://sonar.ch/global/documents/93070
Statistics
Document views: 57
File downloads:
- Full-text: 0