PROMELA

PROMELA: Process Meta Language High level language to specify systems descriptions. Promela programs use processes, message channels and variables. Used by SPIN Promela grammar: https://spinroot.com/spin/Man/grammar.html Promela language reference: https://spinroot.com/spin/Man/promela.html Promela's semantics: https://spinroot.com/spin/Man/Intro.html