Integrated reasoning and proof choice point selection in the jahob system (Mechanisms for program survival) by Rinard, Martin C.

“…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

An Integrated Proof Language for Imperative Programs by Zee, Karen, Kuncak, Viktor, Rinard, Martin C.

“…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