|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| LogicalCompare | This is a standalone program that compares the invariants from two versions of (and/or runs of) a program, and determines using Simplify whether the invariants from one logically imply the invariants from the other. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||