Formal Verification of Infinite-State BIP Models
- 22 November 2015
- book chapter
- Published by Springer Nature
- p. 326-343
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- The nuXmv Symbolic Model Checker2014
- IC3 Modulo Theories via Implicit Predicate Abstraction2014
- HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction2011
- Rigorous Component-Based System Design Using the BIP FrameworkIEEE Software, 2011
- Kratos – A Software Model Checker for SystemCLecture Notes in Computer Science, 2011
- Statistical Abstraction and Model-Checking of Large Heterogeneous Systems2010
- Software model checking via large-block encoding2009
- D-Finder: A Tool for Compositional Deadlock Detection and VerificationLecture Notes in Computer Science, 2009
- FairThreads: mixing cooperative and preemptive threads in CConcurrency and Computation: Practice and Experience, 2005
- Symbolic Model Checking without BDDs1999