Computer Aided Verification
From MaRDI portal
Publication:5900670
DOI10.1007/B11831zbMath1278.68174OpenAlexW1571340194MaRDI QIDQ5900670
Assaf Schuster, Orna Grumberg, Tamir Heyman
Publication date: 20 April 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11831
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)
Related Items (4)
Model Checking of Biological Systems ⋮ GSTE is partitioned model checking ⋮ A work-efficient distributed algorithm for reachability analysis ⋮ Measuring and Evaluating Parallel State-Space Exploration Algorithms
This page was built for publication: Computer Aided Verification
