Construction and SAT-Based Verification of Contextual Unfoldings
From MaRDI portal
Publication:5200078
DOI10.1007/978-3-642-22600-7_3zbMath1341.68133OpenAlexW1863926289MaRDI QIDQ5200078
Stefan Schwoon, César Rodríguez
Publication date: 29 July 2011
Published in: Descriptional Complexity of Formal Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22600-7_3
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Classical propositional logic (03B05)
Cites Work
This page was built for publication: Construction and SAT-Based Verification of Contextual Unfoldings