A generalized semantics of PROMELA for abstract model checking

DOI10.1007/S00165-004-0040-YzbMath1086.68083OpenAlexW1985493680MaRDI QIDQ1882796

Ernesto Pimentel, María del Mar Gallardo, Pedro Merino

Publication date: 1 October 2004

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-004-0040-y

zbMATH Keywords

SpinModel checkingAbstractionPromelaStructured operational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (2)

The role of abstraction in model checking ⋮ A semantic framework for the abstract model checking of tccp programs

Uses Software

• PROMELA

This page was built for publication: A generalized semantics of PROMELA for abstract model checking