UnCoVer (Using Coverability for Verification)
|
Files | |
file | analysis-info.h [code] |
file | BackwardAnalysis.cpp |
file | BackwardAnalysis.h [code] |
file | BackwardResultHandler.h [code] |
file | InstantWriterResultHandler.cpp |
file | InstantWriterResultHandler.h [code] |
file | MinPOCEnumerator.h [code] |
file | NoRulePreparer.cpp |
file | NoRulePreparer.h [code] |
file | PreparedGTS.cpp |
file | PreparedGTS.h [code] |
file | rule_preparation_helper.cpp |
file | rule_preparation_helper.h [code] |
file | RulePreparer.h [code] |