Extending Promela and Spin for Real Time
Abstract elided by the publisher.
Related papers
- A Memory-Efficient Real-Time Non-Copying Garbage Collector ISMM 1998
- Reactive EFSMs - Reactive Promela/RSPIN TACAS 1996
- A Formal Executable Semantics of PROMELA VMCAI 2026
- VIP: A Visual Editor and Compiler for v-Promela TACAS 2000
- Using Scheduler Information to Achieve Optimal Barrier Synchronization Performance PPoPP 1993
- Reciprocating Locks PPoPP 2025
- Scalable queue-based spin locks with timeout PPoPP 2001
- The State of SPIN CAV 1996