Thread-Modular Abstraction Refinement

This publication has 18 references indexed in Scilit:

• A Modular Checker for Multithreaded Programs
  Published by Springer Nature ,2002
• Thread-Modular Verification for Shared-Memory Programs
  Published by Springer Nature ,2002
• A parameterized type system for race-free Java programs
  ACM SIGPLAN Notices, 2001
• Model checking JAVA programs using JAVA PathFinder
  International Journal on Software Tools for Technology Transfer, 2000
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Eraser
  ACM Transactions on Computer Systems, 1997
• Construction of abstract state graphs with PVS
  Published by Springer Nature ,1997
• Conjoining specifications
  ACM Transactions on Programming Languages and Systems, 1995
• Timing Verification by Successive Approximation
  Information and Computation, 1995
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976