Lazy Constrained Monotonic Abstraction

DOI10.1007/978-3-662-49122-5_7zbMath1475.68183OpenAlexW2293687760MaRDI QIDQ2796043

Ahmed Rezine, Petru Eles, Zeinab Ganjei, Zebo Peng

Publication date: 23 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49122-5_7

zbMATH Keywords

safety propertieswell-structured systemsconstrained monotonic abstractioncounter machines reachabilitylazy exploration

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Lazy Constrained Monotonic Abstraction