A methodology for hardware verification using compositional model checking
- 1 May 2000
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 37 (1-3) , 279-309
- https://doi.org/10.1016/s0167-6423(99)00030-1
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- MOCHA: Modularity in model checkingPublished by Springer Nature ,1998
- The InfoPad multimedia terminal: a portable device for wireless information accessIEEE Transactions on Computers, 1998
- Processor verification with precise exceptions and speculative executionPublished by Springer Nature ,1998
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- Verification using uninterpreted functions and finite instantiationsPublished by Springer Nature ,1996
- Inverting the abstraction mapping: A methodology for hardware verificationPublished by Springer Nature ,1996
- Symbolic Model Checking: Kenneth L McMillan, Kluwer Academic, Dordrecht, The Netherlands (1993) ISBN 0 7923 9380 5, £54.50, pp 194Microprocessors and Microsystems, 1994
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- In Transition From Global to Modular Temporal Reasoning about ProgramsPublished by Springer Nature ,1985
- Verifying properties of parallel programsCommunications of the ACM, 1976