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: | English |
| Published: |
Springer Berlin Heidelberg,
2010-02-11T15:34:31Z.
|
| Subjects: | |
| Online Access: | Get fulltext |