SPEC

MaRDI QIDQ32424swMATHFDO

Official website http://users.cecs.anu.edu.au/~tiu/spec/

Described by source

• SPEC: an equivalence checker for security protocols

Cited in

(28)

• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
• Mechanized metatheory revisited
• SIGREF
• BISIMULATOR
• M-TREE
• YAPA
• MWB
• FAST
• APNN-Toolbox
• Bedwyr
• scyther
• TVT
• fc2tools
• Concurrency Workbench
• AUSPICE-R
• Eliom
• Akkaprof
• BPGen
• Mec 5
• Akiss
• Apte
• VERSA
• Gopherlyzer
• mCRL
• Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings
• A reduced semantics for deciding trace equivalence
• scientific article; zbMATH DE number 7379295 (Why is no real title available?)
• scientific article; zbMATH DE number 7407774 (Why is no real title available?)

This page was built for software: SPEC