SPEC

swMATH20606MaRDI QIDQ32424FDOQ32424

Author name not available (Why is that?)

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
• Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings
• SIGREF
• BISIMULATOR
• M-TREE
• YAPA
• MWB
• FAST
• APNN-Toolbox
• Bedwyr
• scyther
• TVT
• fc2tools
• Concurrency Workbench
• A reduced semantics for deciding trace equivalence
• AUSPICE-R
• Eliom
• Akkaprof
• BPGen
• Mec 5
• Akiss
• Apte
• VERSA
• Gopherlyzer
• mCRL
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: SPEC