Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
Sari: Synthesis Lectures on Distributed Computing Theory
(Ilmumisaeg: 31-May-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031020117)
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 ? N, whether, for all n ? N, the system ,,...Loe edasi...
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-1...Loe edasi...
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-1...Loe edasi...
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
(Ilmumisaeg: 18-May-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319105758)
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 comput...Loe edasi...
(Ilmumisaeg: 31-Oct-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319490526)
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 a...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 28-Jun-2014, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319088679)
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 pre...Loe edasi...
(Ilmumisaeg: 25-Nov-2013, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319034911)
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 applicat...Loe edasi...
