On the Translation of Procedures to Finite Machines
Abstract elided by the publisher.
Related papers
- A Verification Procedure via Invariant for Extended Communicating Finite-State Machines CAV 1992
- Satisfiability Modulo Finite Fields CAV 2023
- Finite-Static Code Generation PLDI 1999
- From Communicating Machines to Graphical Choreographies POPL 2015
- A code generator generator language PLDI 1979
- The Semantics of Local Storage, or What Makes the Free-List Free? POPL 1984
- Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications TOPLAS 1986
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024