Software Verification, Fachbücher von Roderick Bloem, Rayna Dimitrova, Natasha Sharygina, Chuchu Fan

Hardware and Software: Verification and Testing, Fachbücher von Roderick Bloem, Eli Arbel

Computer Aided Verification, Fachbücher von Roderick Bloem, Armin Biere

Computer Aided Verification, Fachbücher von Helmut Veith, Natasha Sharygina

Verification of Temporal Properties in Embedded Software, Fachbücher

Software Engineering: Specification, Implementation, Verification, Fachbücher von Suad Alagic

Numerical Software Verification, Fachbücher von Damien Zufferey, Majid Zamani

Hardware/Software Co-Design and Co-Verification, Fachbücher

Numerical Software Verification, Fachbücher von Alessandro Abate, Sylvie Boldo

Hardware and Software: Verification and Testing, Fachbücher von Eran Yahav

Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem /

Embedded Software Verification and Debugging, Fachbücher von Markus Winterholer, Djones Lettnin

Software Verification Based on Game Semantics and Process Algebra, Fachbücher

Tools for Practical Software Verification, Fachbücher von Martin Nordio, Bertrand Meyer

Numerical Software Verification, Fachbücher von Pavithra Prabhakar, Sergiy Bogomolov, Matthieu Martel

Scalable Bit-precise Formal Verification of Embedded Software, Fachbücher von Nannan He