Roderick Bloem
- Auteur
Boeken van Roderick Bloem
Edmund Clarke
Thomas Henzinger
Helmut Veith
Roderick Bloem
Handbook of Model Checking
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry.
Meer
Roderick Bloem
Swen Jacobs
Ayrat Kalimov
Igor Konnov
Decidability of Parameterized Verification
Roderick Bloem
Peter Lipp
Trusted Systems
This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Trusted Systems, INTRUST 2013, held in Graz, Austria, in December 2013.
Meer
Armin Biere
Roderick Bloem
Computer Aided Verification
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
Meer