Model Checking Recursive Programs with Numeric Data Types

This publication has 27 references indexed in Scilit:

• Complexity Bounds for the Verification of Real-Time Software
  2010
• Model-checking Timed Temporal Logics
  Electronic Notes in Theoretical Computer Science, 2009
• A Survey of Automated Techniques for Formal Software Verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2008
• Z3: An Efficient SMT Solver
  2008
• SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
  2004
• Uniform Solution of Parity Games on Prefix-Recognizable Graphs
  Electronic Notes in Theoretical Computer Science, 2003
• Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
  2001
• Bebop: A Symbolic Model Checker for Boolean Programs
  2000
• Reachability analysis of pushdown automata: Application to model-checking
  1997
• A theory of timed automata
  Theoretical Computer Science, 1994