Repository navigation

safety-verification

Public

About

SMT-based verification of safety properties in two ways

GPL-3.0 license

1 star

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.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

Repository files navigation

safety-verification

SMT-based verification of safety properties in two ways

About

SMT-based verification of safety properties in two ways

GPL-3.0 license

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages