View in EDS

Combining Theorem Proving with Model Checking through Predicate Abstraction.

Saved in:
Bibliographic Details
Title: Combining Theorem Proving with Model Checking through Predicate Abstraction.
Authors: Ray, Sandip1 sandip@cs.utexas.edu, Sumners, Rob2
Source: IEEE Design & Test of Computers. Mar/Apr2007, Vol. 24 Issue 2, p132-139. 8p.
Subjects: Integrated circuit verification, Hybrid computer simulation, Automatic theorem proving, Debugging, Computer simulation, Computer software
Abstract: The article discusses the hybrid computer system verification process that combines theorem proving with model checking through predicate abstraction. The author contends that there is a gap in the complexity verification tools can handle and practical verification problems that can be lessened via theorem proving with model checking through predicate abstraction.
Database: Engineering Source
Description
Abstract:The article discusses the hybrid computer system verification process that combines theorem proving with model checking through predicate abstraction. The author contends that there is a gap in the complexity verification tools can handle and practical verification problems that can be lessened via theorem proving with model checking through predicate abstraction.
ISSN:07407475
DOI:10.1109/MDT.2007.38