Extension of the Karp and Miller Procedure to Lotos Specifications
Abstract elided by the publisher.
Related papers
- Formalization of Karp-Miller tree construction on petri nets CPP 2017
- A State-of-the-Art Karp-Miller Algorithm Certified in Coq TACAS 2024
- Compiler Construction Using LOTOS NT CC 2002
- Compositional State Space Generation from Lotos Programs TACAS 1997
- Model-Checking for Real-Time Systems Specified in Lotos CAV 1992
- A Novel Framework of Register Allocation for Software Pipelining POPL 1993
- The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach CAV 1991
- Karp: a language for NP reductions PLDI 2022