EVES: An overview
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 389-405
- https://doi.org/10.1007/3-540-54834-3_24
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- An application of the m-EVES verification systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- m-EVES: a tool for verifying softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Simple Type Theory in EVESPublished by Springer Nature ,1991
- Current Trends in Hardware Verification and Automated Theorem ProvingPublished by Springer Nature ,1989
- Stanford Pascal Verifier User ManualPublished by Defense Technical Information Center (DTIC) ,1979
- A man-machine theorem-proving systemArtificial Intelligence, 1974