SiLVer (Symbolic links verifier ) is a tool written in Maude for the verification of CNA (Core Network Algebra) processes.

Name
Last commit
Last update
LICENSE Loading commit data...
README.md Loading commit data...
configuration.maude Loading commit data...
examples.maude Loading commit data...
links.maude Loading commit data...
modelchecking.maude Loading commit data...
processes.maude Loading commit data...
semantics.maude Loading commit data...