A Generalization of Stålmarck's Method
Abstract elided by the publisher.
Related papers
- The Industrial Success of Verification Tools Based on Stålmarck's Method CAV 1997
- Symbolic Model Checking without BDDs TACAS 1999
- Automated Generation of a Progress Measure for the Sweep-Line Method TACAS 2004
- Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method APLAS 2001
- A Practical, Robust Method for Generating Variable Range Tables CC 2001
- A General Framework for Inheritance Management and Method Dispatch in Object-Oriented Languages ECOOP 1997
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods SAS 2010
- A Method for Invariant Generation for Polynomial Continuous Systems VMCAI 2016