Software VerificationRoderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina · First published 2022Open the Tome
Handbook of Model CheckingEdmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem · First published 2017Open the Tome
Hardware and Software : Verification and TestingRoderick Bloem, Eli Arbel · First published 2016Open the Tome
Decidability of Parameterized VerificationRoderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov · First published 2015Open the Tome
Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 ProceedingsRoderick Bloem · First published 2013Open the Tome
