Explore Books on
computer software verification

1-24 of 181 Books

Cover of Languages, Design Methods, and Tools for Electronic System Design by franco fummi,robert wille

Languages, Design Methods, and Tools for Electronic System Design

By Franco Fummi,Robert Wille

Cover of Principles of model checking by christel baier

Principles of model checking

By Christel Baier

Cover of Reactive systems by luca aceto

Reactive systems

By Luca Aceto

Cover of Model checking by edmund m. clarke jr.,orna grumberg,doron a. peled

Model checking

By Edmund M. Clarke Jr.,Orna Grumberg,Doron A. Peled

Cover of Next generation Java testing by cédric beust,hani suleiman

Next generation Java testing

By Cédric Beust,Hani Suleiman

Verification and Validation of Rule-Based Expert Systems

Verification and Validation of Rule-Based Expert Systems

By Suzanne Smith,Abraham Kandel

Cover of Text, Speech and Dialogue by petr sojka

Text, Speech and Dialogue

By Petr Sojka

Cover of Computer Aided Verification by daniel kroening,corina s. păsăreanu

Computer Aided Verification

By Daniel Kroening,Corina S. Păsăreanu

Cover of Leveraging Applications of Formal Methods, Verification and Validation by tiziana margaria,bernhard steffen

Leveraging Applications of Formal Methods, Verification and Validation

By Tiziana Margaria,Bernhard Steffen

Cover of Software engineering reviews and audits by boyd l. summers

Software engineering reviews and audits

By Boyd L. Summers

Cover of Verification and Validation for Quality of UML 2.0 Models by bhuvan unhelkar

Verification and Validation for Quality of UML 2.0 Models

By Bhuvan Unhelkar

Cover of Software testing by gerald d. everett,gerald d. everett,raymond, jr. mcleod

Software testing

By Gerald D. Everett,Gerald D. Everett,Raymond, Jr. McLeod

Cover of Practical software testing by ilene burnstein

Practical software testing

By Ilene Burnstein

Cover of Verification by error modeling by katarzyna radecka

Verification by error modeling

By Katarzyna Radecka

Runtime Verification

Runtime Verification

By Axel Legay,Saddek Bensalem

Cover of Verification of Sequential and Concurrent Programs by krzysztof r. apt

Verification of Sequential and Concurrent Programs

By Krzysztof R. Apt

Cover of Computer Aided Verification by natasha sharygina,helmut veith

Computer Aided Verification

By Natasha Sharygina,Helmut Veith

Cover of Model Checking Software by ezio bartocci,c. r. ramakrishnan

Model Checking Software

By Ezio Bartocci,C. R. Ramakrishnan

Cover of Embedded Software Verification and Debugging by djones lettnin,markus winterholer

Embedded Software Verification and Debugging

By Djones Lettnin,Markus Winterholer

Modeling and Verification of Real-Time Systems

Modeling and Verification of Real-Time Systems

By Nicolas Navet,Stephan Merz

Cover of Model Checking Software by dragan bošnački,anton wijs

Model Checking Software

By Dragan Bošnački,Anton Wijs

Cover of Leveraging Applications of Formal Methods, Verification, and Validation by reiner hähnle

Leveraging Applications of Formal Methods, Verification, and Validation

By Reiner Hähnle

Cover of Correct Software in Web Applications and Web Services by bernhard thalheim,klaus-dieter schewe,andreas prinz,bruno buchberger

Correct Software in Web Applications and Web Services

By Bernhard Thalheim,Klaus-Dieter Schewe,Andreas Prinz,Bruno Buchberger

Cover of Verified Software : Theorie, Tools, Experiments by ernie cohen,andrey rybalchenko

Verified Software : Theorie, Tools, Experiments

By Ernie Cohen,Andrey Rybalchenko