S

SiLVer

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