safety-verification

SMT-based verification of safety properties in two ways

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.idea		.idea
__pycache__		__pycache__
gen		gen
Expr.g4		Expr.g4
LICENSE		LICENSE
ModelChecking_BMC.py		ModelChecking_BMC.py
Model_Checker.py		Model_Checker.py
Property.g4		Property.g4
Propgen.py		Propgen.py
README.md		README.md
input.expr		input.expr
input_prop.expr		input_prop.expr
interpol.iml		interpol.iml
run.py		run.py

Provide feedback