Formal specification and verification of hardware: a comparative case study
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Future directions for VLSI and software engineeringPublished by Springer Nature ,2006
- Formal verification of hardware correctness: introduction and survey of current researchComputer, 1988
- Application of term rewriting techniques to hardware design verificationPublished by Association for Computing Machinery (ACM) ,1987
- A high performance routing enginePublished by Association for Computing Machinery (ACM) ,1987
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- $$v\mathcal{F}\mathcal{P}$$ : An environment for the multi-level specification, analysis, and synthesis of hardware algorithmsPublished by Springer Nature ,1985
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983
- Proofs by induction in equational theories with constructorsJournal of Computer and System Sciences, 1982
- Edinburgh LCFLecture Notes in Computer Science, 1979
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940