-
1
-
2
-
3
-
4
-
5
-
6
-
7
Integrated reasoning and proof choice point selection in the jahob system (Mechanisms for program survival)
Published 2010“…In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, and verification system. …”
Get full text
Get full text
Article -
8
Reasoning Utility Package User's Manual, Version One
Published 2004“…In writing all of these utilities an attempt has been made to provide a maximally flexible environment for automated reasoning.…”
Get full text
-
9
Pattern-Directed Invocation with Changing Equations
Published 2004“…The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. …”
Get full text
-
10
An Integrated Proof Language for Imperative Programs
Published 2010“…Our experience indicates that our proof language makes it possible to successfully prove complex program correctness properties that are otherwise beyond the reach of automated reasoning systems.…”
Get full text
Get full text
Article