Verification: Theory and Practice

DOI10.1007/b12001zbMath1274.68208OpenAlexW2483649756MaRDI QIDQ5305645

Luca de Alfaro

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

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)

Related Items

Model checking open systems with alternating projection temporal logic ⋮ Unnamed Item ⋮ Composing model programs for analysis ⋮ Composition of Model Programs ⋮ Play to Test