A Formal Executable Semantics of PROMELA

Lecture notes in computer science 2026

View at publisher

Authors: Byoungho Son, Kyungmin Bae

DOI: 10.1007/978-3-032-15700-3_16

Cited by: 1

References: 36

Fields of Study & Subjects

Formal Methods in Verification Distributed systems and fault tolerance Logic programming and type systems

References 36