Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Automated reasoning (2nd ed.): introduction and applications
Automated reasoning (2nd ed.): introduction and applications
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Formal verification of a real-time hardware design
DAC '83 Proceedings of the 20th Design Automation Conference
Formal design verification of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
Verification of hardware designs thru symbolic manipulation
Proceedings of the Symposium on Design Automation and Microprocessors
A formal method for computer design verification
DAC '82 Proceedings of the 19th Design Automation Conference
A verification technique for hardware designs
DAC '82 Proceedings of the 19th Design Automation Conference
The application of program verification techniques to hardware verification
DAC '79 Proceedings of the 16th Design Automation Conference
Hardware verification.
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
A rule-based circuit representation for automated CMOS design and verification
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
An Algebraic Model for Asynchronous Circuits Verification
IEEE Transactions on Computers
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
| Hi-index | 0.01 |
In recent years, interest has grown in the possibility of developing a formal design verification approach as an alternative to standard simulation techniques for verification. Several researchers have used, or suggested the use of, artificial intelligence techniques in such a formal system. The purpose of this paper is to briefly describe the ongoing work on the development of a viable formal design verification system based on an automated reasoning system. This system, called LMA (Logic Machine Architecture), has been developed at Argonne National Laboratory. This paper describes the basic ideas underlying this formal system for verification and discusses several of the current research projects.