Integrated reasoning and proof choice point selection in the jahob system (Mechanisms for program survival)
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. In contrast to many such systems, which use a monolithic reasoning approach, Jahob provides a g...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Springer Berlin Heidelberg
2010
|
| Online Access: | http://hdl.handle.net/1721.1/51699 https://orcid.org/0000-0001-8095-8523 |