PVS: An Experience Report
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 338-345
- https://doi.org/10.1007/3-540-48257-1_24
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- ATM switch design by high-level modeling, formal verification and high-level synthesiACM Transactions on Design Automation of Electronic Systems, 1998
- Formalizing space shuttle software requirementsACM Transactions on Software Engineering and Methodology, 1998
- Subtypes for specifications: predicate subtyping in PVSIEEE Transactions on Software Engineering, 1998
- An experiment in parallelizing an application using formal methodsPublished by Springer Nature ,1998
- A formal method experience at secure computing corporationPublished by Springer Nature ,1998
- Transforming the theorem prover into a digital design tool: From concept car to off-road vehiclePublished by Springer Nature ,1998
- Case studies in meta-level theorem provingPublished by Springer Nature ,1998
- Formal requirements analysis of an avionics control systemIEEE Transactions on Software Engineering, 1997
- PAMELA+PVSPublished by Springer Nature ,1997
- Verification of IEEE compliant subtractive division algorithmsPublished by Springer Nature ,1996