Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams
DOI10.1007/978-3-540-71209-1_50zbMath1186.68305OpenAlexW4476426MaRDI QIDQ5758137
Andy Jinqing Yu, Gerald Lüttgen, Gianfranco Ciardo
Publication date: 3 September 2007
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_50
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
This page was built for publication: Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams
