Software Verification

382 books
Computer Aided VerificationD.L. Dill
⏱ 8h 9m

Computer Aided Verification

D.L. Dill

1994489 pp.
Runtime VerificationYlies Falcone
⏱ 8h 32m

Runtime Verification

Ylies Falcone

2016512 pp.
Numerical Software VerificationSergiy Bogomolov
⏱ 1h 47m

Numerical Software Verification

Sergiy Bogomolov

2017107 pp.
VerificationNachum Dershowitz
⏱ 13h 3m

Verification

Nachum Dershowitz

2004783 pp.
Model Checking SoftwareSusanne Graf

Model Checking Software

Susanne Graf

2004No page data
Verified Software. Theories, Tools, and ExperimentsRuzica Piskac
⏱ 6h 1m

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac

2018361 pp.
Computer Aided Verification 24th International ConferenceMadhusudan Parthasarathy

Computer Aided Verification 24th International Conference

Madhusudan Parthasarathy

2012No page data
Formal design and verification of a reliable computing platform for real-time controlBen L. Di Vito

Formal design and verification of a reliable computing platform for real-time control

Ben L. Di Vito

1990No page data
Computer aided verificationCAV (Conference) 19th 2007 Berlin, Germany)
⏱ 9h 22m

Computer aided verification

CAV (Conference) 19th 2007 Berlin, Germany)

2007562 pp.
Verification, validation and testing in software engineeringAristides Dasso
⏱ 7h 8m

Verification, validation and testing in software engineering

Aristides Dasso

2006428 pp.
Software and systems safetyM. Broy
⏱ 4h 45m

Software and systems safety

M. Broy

2011285 pp.
Computer aided verificationNicolas Halbwachs
⏱ 8h 26m

Computer aided verification

Nicolas Halbwachs

1999506 pp.
Software engineeringT. G. Lewis
⏱ 7h 50m

Software engineering

T. G. Lewis

1982470 pp.
Modeling and verification of real-time systemsNicolas Navet

Modeling and verification of real-time systems

Nicolas Navet

2008No page data
Pragmatic Software TestingRex Black
⏱ 6h 6m

Pragmatic Software Testing

Rex Black

2007366 pp.
Data flow analysisUday Khedker

Data flow analysis

Uday Khedker

2009No page data
Systems and Software VerificationBéatrice Bérard
⏱ 3h 10m

Systems and Software Verification

Béatrice Bérard

2001190 pp.
Verification of sequential and concurrent programsKrzysztof R. Apt
⏱ 8h 22m

Verification of sequential and concurrent programs

Krzysztof R. Apt

2009502 pp.
Formal methods for trustworthy computer systems (FM89)Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)
⏱ 4h 8m

Formal methods for trustworthy computer systems (FM89)

Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)

1990248 pp.
Next generation Java testingCédric Beust
⏱ 8h 18m

Next generation Java testing

Cédric Beust

2007498 pp.
← PreviousPage 4 of 20Next →