Sciweavers

Share
VSTTE
2005
Springer

Decision Procedures for the Grand Challenge

9 years 23 days ago
Decision Procedures for the Grand Challenge
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a suitably chosen logic. This paper discusses possible choices for this logic, and how to solve the resulting problems.
Daniel Kroening
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where VSTTE
Authors Daniel Kroening
Comments (0)
books