Papers tagged formal methods
- A Calculus of Communicating Systems
- A Generic Abstract Machine for the Join-Calculus
- An Axiomatic Basis for Computer Programming
- Center: A Simple Algebraic Model of Computation and its Analysis
- Code Generation from Requirements Specifications: A Case Study
- Communicating Sequential Processes
- Communicating Sequential Processes
- Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
- High-Level Specifications: Lessons from Industry
- Relaxed Memory Models: An Operational Approach