Recent Developments in FDR
Abstract elided by the publisher.
Related papers
- Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR TACAS 1996
- Santa Claus: Formal analysis of a process-oriented solution TOPLAS 2010
- Pantaxou: a domain-specific language for developing safe coordination services GPCE 2008
- Static analysis for independent app developers OOPSLA 2014
- A Portable Compiler: Theory and Practice POPL 1978
- On Convergence Toward a Database of Program Transformations TOPLAS 1985
- An Automated Deductive Verification Framework for Circuit-building Quantum Programs ESOP 2021
- Unified Algebras and Modules POPL 1989