cprover
|
Files | |
file | all_properties.cpp [code] |
Symbolic Execution of ANSI-C. | |
file | all_properties_class.h [code] |
Symbolic Execution of ANSI-C. | |
file | bmc.cpp [code] |
Symbolic Execution of ANSI-C. | |
file | bmc.h [code] |
Bounded Model Checking for ANSI-C + HDL. | |
file | bmc_cover.cpp [code] |
Test-Suite Generation with BMC. | |
file | cbmc_languages.cpp [code] |
Language Registration. | |
file | cbmc_main.cpp [code] |
CBMC Main Module. | |
file | cbmc_parse_options.cpp [code] |
CBMC Command Line Option Processing. | |
file | cbmc_parse_options.h [code] |
CBMC Command Line Option Processing. | |
file | counterexample_beautification.cpp [code] |
Counterexample Beautification using Incremental SAT. | |
file | counterexample_beautification.h [code] |
Counterexample Beautification. | |
file | fault_localization.cpp [code] |
Fault Localization. | |
file | fault_localization.h [code] |
Fault Localization. | |
file | symex_bmc.cpp [code] |
Bounded Model Checking for ANSI-C. | |
file | symex_bmc.h [code] |
Bounded Model Checking for ANSI-C. | |
file | symex_coverage.cpp [code] |
Record and print code coverage of symbolic execution. | |
file | symex_coverage.h [code] |
Record and print code coverage of symbolic execution. | |
file | xml_interface.cpp [code] |
XML Interface. | |
file | xml_interface.h [code] |
XML Interface. | |