A two-level formal verification methodology using HOL and COSMOS
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 299-309
- https://doi.org/10.1007/3-540-55179-4_29
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Mechanizing CSP trace theory in higher order logicIEEE Transactions on Software Engineering, 1990
- An approach to systems verificationJournal of Automated Reasoning, 1989
- Mechanizing Programming Logics in Higher Order LogicPublished by Springer Nature ,1989
- Formal verification of hardware correctness: introduction and survey of current researchComputer, 1988
- A Switch-Level Model and Simulator for MOS Digital SystemsIEEE Transactions on Computers, 1984