6 papers:
ICTSS-2010-UlrichAHB #implementation- From Scenarios to Test Implementations Via Promela (AU, EHA, HH, SB), pp. 236–249.
SEKE-2008-Argote-GarciaCHFS #approach #architecture #formal method- A Formal Approach for Translating a SAM Architecture to PROMELA (GAG, PJC, XH, YF, LS), pp. 440–447.
TACAS-2000-KamelL #compilation #editing #named #visual notation- VIP: A Visual Editor and Compiler for v-Promela (MK, SL), pp. 471–486.
FME-1997-Gregoire #protocol #proving #using- TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations (JCG), pp. 378–397.
- TACAS-1996-NajmO
- Reactive EFSMs — Reactive Promela/RSPIN (EN, FO), pp. 349–368.
- TACAS-1996-TripakisC #realtime
- Extending Promela and Spin for Real Time (ST, CC), pp. 329–348.
