Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis

This publication has 11 references indexed in Scilit:

• A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)
  Electronic Notes in Theoretical Computer Science, 1997
• Verifying Programs with Unreliable Channels
  Information and Computation, 1996
• Unreliable Channels Are Easier to Verify Than Perfect Channels
  Information and Computation, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• The Complexity of Simple Computer Architectures
  Published by Springer Nature ,1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Static determination of dynamic properties of generalized type unions
  Published by Association for Computing Machinery (ACM) ,1977
• Parallel program schemata: A mathematical model for parallel computation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1967