Similar Items: Verification of Flat FIFO Systems
- Bounded Reachability Problems are Decidable in FIFO Machines
- The Complexity of Flat Freeze LTL
- Modeling and Verification of Infinite Systems with Resources
- Specification and Verification of Timing Properties in Interoperable Medical Systems
- A proof system for graph (non)-isomorphism verification
- Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories