Class | Description |
---|---|
SmvCounterexampleParser |
This class is used to parse a SMV log file and construct a
Test object. |
SmvSpecificationParser |
This class is used to parse an SMV model file and extract information about specifications.
|
SmvStatisticsParser |
This class is used to parse an SMV log file and extract counterexample statistics.
|