Software Verification

382 books
Concurrency verificationW.-P. de Roever
⏱ 13h 18m

Concurrency verification

W.-P. de Roever

2001798 pp.
Mastering GradleMainak Mitra

Mastering Gradle

Mainak Mitra

2015No page data
Formal methods and their role in digital systems validation for airborne systemsJohn Rushby
⏱ 58m

Formal methods and their role in digital systems validation for airborne systems

John Rushby

199558 pp.
Software verification and validationDolores R. Wallace
⏱ 29m

Software verification and validation

Dolores R. Wallace

198929 pp.
Verification and Validation for Quality of UML 2.0 ModelsBhuvan Unhelkar
⏱ 5h 12m

Verification and Validation for Quality of UML 2.0 Models

Bhuvan Unhelkar

2005312 pp.
Tests and ProofsBernhard K. Aichernig
⏱ 3h 26m

Tests and Proofs

Bernhard K. Aichernig

2016206 pp.
A framework for the development and assurance of high integrity softwareDolores R. Wallace
⏱ 1h 7m

A framework for the development and assurance of high integrity software

Dolores R. Wallace

199467 pp.
Independent verification and validationRobert O. Lewis
⏱ 5h 56m

Independent verification and validation

Robert O. Lewis

1992356 pp.
Reactive systemsLuca Aceto
⏱ 4h 44m

Reactive systems

Luca Aceto

2003284 pp.
UnfoldingsJavier Esparza
⏱ 2h 49m

Unfoldings

Javier Esparza

2008169 pp.
Theory and Applications of Satisfiability Testing -- SAT 2015Marijn Heule

Theory and Applications of Satisfiability Testing -- SAT 2015

Marijn Heule

2015No page data
Semi-physical Verification Technology for Dynamic Performance of Internet of Things SystemXiaolei Yu
⏱ 4h 6m

Semi-physical Verification Technology for Dynamic Performance of Internet of Things System

Xiaolei Yu

2018246 pp.
Model Checking SoftwareBernd Fischer
⏱ 5h 37m

Model Checking Software

Bernd Fischer

2015337 pp.
Proceedings of the ACM SIGSOFT '89Symposium on Software Testing, Analysis, and Verification (3rd 1989 Key West, Fla.)
⏱ 3h 50m

Proceedings of the ACM SIGSOFT '89

Symposium on Software Testing, Analysis, and Verification (3rd 1989 Key West, Fla.)

1989230 pp.
Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4)Symposium on Testing, Analysis, and Verification (1991 Victoria, B.C.)
⏱ 3h 33m

Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4)

Symposium on Testing, Analysis, and Verification (1991 Victoria, B.C.)

1991213 pp.
ProceedingsWorkshop on Software Testing, Verification, and Analysis (2nd 1988 Banff, Alta.)
⏱ 4h 8m

Proceedings

Workshop on Software Testing, Verification, and Analysis (2nd 1988 Banff, Alta.)

1988248 pp.
Software Verification And Analysis An Integrated Handson ApproachJanusz Laski

Software Verification And Analysis An Integrated Handson Approach

Janusz Laski

2009No page data
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt
⏱ 7h 26m

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt

1997446 pp.
Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control (Technical Reports Series (International Atomic Energy Agency))Isabel Cervera
⏱ 2h 6m

Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control (Technical Reports Series (International Atomic Energy Agency))

Isabel Cervera

1999126 pp.
Temporal verification of reactive systemsZohar Manna
⏱ 8h 32m

Temporal verification of reactive systems

Zohar Manna

1995512 pp.
← PreviousPage 3 of 20Next →