martin-neuhaeusser / erlang-verifier Public

LTL model checking of Core-Erlang using term rewriting techniques.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
core-erlang		core-erlang
erlang		erlang
syntax-tool		syntax-tool
tests		tests
LICENSE		LICENSE
README.md		README.md
breakpoints.maude		breakpoints.maude
corebib.maude		corebib.maude
exception.maude		exception.maude
framework.maude		framework.maude
label.maude		label.maude
loop.maude		loop.maude
ltl-check.maude		ltl-check.maude
mailbox.maude		mailbox.maude
matching.maude		matching.maude
modenv.maude		modenv.maude
normalisation.maude		normalisation.maude
parsing.maude		parsing.maude
pid.maude		pid.maude
primop.maude		primop.maude
process.maude		process.maude
result.maude		result.maude
substitution.maude		substitution.maude
syntax.maude		syntax.maude
system.maude		system.maude
updown.maude		updown.maude