GitHub - Kruschenstein/modeverif: Modelisation & verification project with VeritafTool

Kruschenstein / modeverif Public

Modelisation & verification project with VeritafTool

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
LTL		LTL
subject		subject
tool		tool
.gitignore		.gitignore
CTL		CTL
VeriTaf-0.7.3.jar		VeriTaf-0.7.3.jar
bool.mso		bool.mso
ctl.mso		ctl.mso
gen.py		gen.py
gen_all_dot.mso		gen_all_dot.mso
ltl.mso		ltl.mso
ltl_sys.mso		ltl_sys.mso
simple_sol.mso		simple_sol.mso
simple_sol_inv.mso		simple_sol_inv.mso
solution_system_bak.mso		solution_system_bak.mso
sys.mso		sys.mso
system.mso		system.mso
todo.org		todo.org
tps1.mso		tps1.mso
tps2.mso		tps2.mso
variable.mso		variable.mso