OMG

OMG (On the fly Model checking with Guided abstraction) is a model checking framework for CTL propetries.

Input

Run python main.py --help to view command line arguments and their usage.

FILL OUT SOMETIME!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

Name		Name	Last commit message	Last commit date
Latest commit History 198 Commits
.idea		.idea
iimc_aigs		iimc_aigs
iimc_dimacs		iimc_dimacs
logs		logs
.gitignore		.gitignore
README.md		README.md
abstract_structure.py		abstract_structure.py
abstraction_classifier.py		abstraction_classifier.py
aig_parser.py		aig_parser.py
arg_parser.py		arg_parser.py
cnf_parser.py		cnf_parser.py
common.py		common.py
ctl.py		ctl.py
formula_wrapper.py		formula_wrapper.py
goods.txt		goods.txt
kripke_structure.py		kripke_structure.py
main.py		main.py
omg.py		omg.py
ordered_aigs.txt		ordered_aigs.txt
qbf_solver.py		qbf_solver.py
run.sh		run.sh
run_compile.sh		run_compile.sh
sat_solver.py		sat_solver.py
state.py		state.py
unwinding_tree.py		unwinding_tree.py
var_manager.py		var_manager.py
z3_utils.py		z3_utils.py