Protocol Verification in Nuprl
Abstract elided by the publisher.
Related papers
- Building reliable, high-performance networks with the Nuprl proof development system JFP 2004
- Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification CAV 1992
- A nominal exploration of intuitionism CPP 2016
- Automated complexity analysis of Nuprl extracted programs Journal of Functional Programming JFP 2001
- Verification of Security Protocols VMCAI 2009
- Automatic Verification of Parameterized Cache Coherence Protocols CAV 2000
- Algorithmic Verification of Invalidation-Based Protocols CAV 2002
- Automated Unbounded Verification of Security Protocols CAV 2002