Verification: Theory and Practice
From MaRDI portal
Publication:5305645
DOI10.1007/b12001zbMath1274.68208MaRDI QIDQ5305645
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Composing model programs for analysis, Model checking open systems with alternating projection temporal logic, Play to Test, Composition of Model Programs