A symbolic semantics for abstract model checking

DOI10.1016/S0167-6423(00)00015-0zbMath0966.68115OpenAlexW2629744581MaRDI QIDQ1595250

Francesca Levi

Publication date: 11 February 2001

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(00)00015-0

zbMATH Keywords

\(\mu\)-calculus model checking

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

This page was built for publication: A symbolic semantics for abstract model checking