Dynamic Cutoff Detection in Parameterized Concurrent Programs

This publication has 16 references indexed in Scilit:

• Verification of Boolean programs with unbounded thread creation
  Theoretical Computer Science, 2007
• Thorough static analysis of device drivers
  ACM SIGOPS Operating Systems Review, 2006
• A New Approach to Upward-Closed Set Backward Reachability Analysis
  Electronic Notes in Theoretical Computer Science, 2005
• Expand, Enlarge and Check... Made Efficient
  2005
• Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
  Lecture Notes in Computer Science, 2005
• Empirically Efficient Verification for a Class of Infinite-State Systems
  Lecture Notes in Computer Science, 2005
• Covering sharing trees: a compact data structure for parameterized verification
  International Journal on Software Tools for Technology Transfer, 2004
• Towards the Automated Verification of Multithreaded Java Programs
  2002
• Reducing Model Checking of the Many to the Few
  2000
• Parallel program schemata
  Journal of Computer and System Sciences, 1969