Roderick Bloem – författare
Visar alla böcker från författaren Roderick Bloem. Handla med fri frakt och snabb leverans.
13 produkter
Handbook of Model Checking
Av Edmund M. Clarke Jr., Thomas A. Henzinger m. fl.
2020
1863 kr
Lägg i varukorg
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 …
Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Av Roderick Bloem, Rayna Dimitrova m. fl.
Häftad, 2022
625 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held …
Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Av Natasha Sharygina, Chuchu Fan m. fl.
E-bok, 2022
813 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14 th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. …
Decidability of Parameterized Verification
Av Roderick Bloem, Swen Jacobs m. fl.
Häftad, 2015
513 kr
Lägg i varukorg
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ����(n) parameterized by n ∈ ℕ, whether, for all n ∈ ℕ, the system ����(n) satisfies a specification. In this book we …
Decidability of Parameterized Verification
Av Igor Konnov, Ayrat Kalimov m. fl.
E-bok, 2022
657 kr
Lägg i varukorg
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ����(n) parameterized by n ∈ ℕ, whether, for all n ∈ ℕ, the system ����(n) satisfies a specification. In this book we …
Trusted Systems
5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
Häftad, 2013
569 kr
Lägg i varukorg
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. The revised full papers focus on the theory, technologies and applications of trusted systems. They cover all aspects …
Trusted Systems
5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
E-bok, 2013
755 kr
Lägg i varukorg
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. The revised full papers focus on the theory, technologies and applications of trusted systems. They cover all aspects …
Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Av Armin Biere, Roderick Bloem
Häftad, 2014
1128 kr
Lägg i varukorg
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. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and …
Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Av Roderick Bloem, Armin Biere
E-bok, 2014
1502 kr
Lägg i varukorg
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. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and …
Handbook of Model Checking
Av Edmund M. Clarke Jr., Thomas A. Henzinger m. fl.
Inbunden, 2018
1580 kr
Lägg i varukorg
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 …
Handbook of Model Checking
Av Roderick Bloem, Helmut Veith m. fl.
E-bok, 2018
1894 kr
Lägg i varukorg
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 …
Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Häftad, 2016
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance …
Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
E-bok, 2016
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance …
