Integration in PVS: Tables, Types, and Model Checking
Abstract elided by the publisher.
Related papers
- PVS: Combining Specification, Proof Checking, and Model Checking CAV 1996
- Integrating WS1S with PVS CAV 2000
- Verifiable Certificates for Predicate Subtyping ESOP 2019
- A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution VMCAI 2003
- Efficient Model Checking Using Tabled Resolution CAV 1997
- Integrated symbol table, engine and heap memory management in multi-engine prolog ISMM 2011
- Process Algebra in PVS TACAS 1999
- Verification of Real-Time Systems Using PVS CAV 1993