GitHub - Jayzh7/ATP: ATP system written in mCRL2

Jayzh7 / ATP Public

ATP system written in mCRL2

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
test		test
ATP.mcrl2proj		ATP.mcrl2proj
ATP_spec.lps		ATP_spec.lps
ATP_spec.lts		ATP_spec.lts
ATP_spec.mcrl2		ATP_spec.mcrl2
ATP_spec.pbes		ATP_spec.pbes
ATP_spec_1.lts		ATP_spec_1.lts
LICENSE.md		LICENSE.md
README.md		README.md
SV_Project.pdf		SV_Project.pdf
nodeadlock.mcf		nodeadlock.mcf
nodeadlock.pbes		nodeadlock.pbes
test.mcf		test.mcf
test.pbes		test.pbes
vm02.mcf		vm02.mcf
vm02.pbes		vm02.pbes
vm03.mcf		vm03.mcf
vm03.pbes		vm03.pbes
vm05.mcf		vm05.mcf
vm05.pbes		vm05.pbes
vm07.mcf		vm07.mcf
vm07.pbes		vm07.pbes
vm08.mcf		vm08.mcf
vm08.pbes		vm08.pbes
vm14.mcf		vm14.mcf
vm14.pbes		vm14.pbes