S

SiLVer

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

Project ID: 4268905
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...