A Formal Executable Semantics of PROMELA.

Byoungho Son, Kyungmin Bae

Browse the full VMCAI paper archive.