Formal Verification of Infinite-State BIP Models

DOI10.1007/978-3-319-24953-7_25MaRDI QIDQ3460575zbMATH OpenOpenAlexWikidataFDO

Authors Simon Bliudze, Alessandro Cimatti, Mohamad Y. Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang

Publication date 8 January 2016

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL http://infoscience.epfl.ch/record/211062

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bounded model checking of infinite state systems
• Formal Verification of Infinite State Systems Using Boolean Methods
• Computer Science Logic
• scientific article; zbMATH DE number 1499079
• Tools and Algorithms for the Construction and Analysis of Systems
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 2102702
• scientific article; zbMATH DE number 1406234

Cited in

(1)

• VCS: a verifier for component-based systems

This page was built for publication: Formal Verification of Infinite-State BIP Models

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