The Role of Abstraction in Model Checking

This publication has 23 references indexed in Scilit:

• An extension of Java PathFinder for hybrid systems
  ACM SIGSOFT Software Engineering Notes, 2012
• A model-extraction approach to verifying concurrent C programs with CADP
  Science of Computer Programming, 2012
• Verification support for ARINC‐653‐based avionics software
  Software Testing, Verification and Reliability, 2011
• A practical use of model checking for synthesis: generating a dam controller for flood management
  Software: Practice and Experience, 2011
• Model Checking Dynamic Memory Allocation in Operating Systems
  Journal of Automated Reasoning, 2009
• Checking the reliability of socket based communication software
  International Journal on Software Tools for Technology Transfer, 2009
• αSPIN: A tool for abstract model checking
  International Journal on Software Tools for Technology Transfer, 2004
• Software model checking: extracting verification models from source code†
  Software Testing, Verification and Reliability, 2001
• Model checking JAVA programs using JAVA PathFinder
  International Journal on Software Tools for Technology Transfer, 2000
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997