Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions
Authors:
- 7 February 2006
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 34 (1) , 61-91
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- GRASP-A new search algorithm for satisfiability2002
- Chaff2001
- SATO: An efficient propositional prover1997
- A methodology for hardware verification based on logic simulationJournal of the ACM, 1991
- On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplicationIEEE Transactions on Computers, 1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Deciding Combinations of TheoriesJournal of the ACM, 1984
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- A machine program for theorem-provingCommunications of the ACM, 1962
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960