Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs
From MaRDI portal
Publication:2894567
DOI10.1007/978-3-642-29320-7_15zbMath1353.68183OpenAlexW337288018MaRDI QIDQ2894567
Mingshu Li, Qiusong Yang, Bei Zhang, Jian Zhai
Publication date: 29 June 2012
Published in: Fundamentals of Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-29320-7_15
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: Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs
