Formal Verification

75 books
Runtime verificationRV 2008 (2008 Budapest, Hungary)
⏱ 3h 7m

Runtime verification

RV 2008 (2008 Budapest, Hungary)

2008187 pp.
Formal methods for hardware verificationInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)
⏱ 4h 3m

Formal methods for hardware verification

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)

2006243 pp.
The Seventeen Provers of the WorldFreek Wiedijk
⏱ 2h 38m

The Seventeen Provers of the World

Freek Wiedijk

2006158 pp.
Formal methods for performance evaluationInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)
⏱ 7h 48m

Formal methods for performance evaluation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)

2007468 pp.
Modeling in event-bJean-Raymond Abrial
⏱ 9h 59m

Modeling in event-b

Jean-Raymond Abrial

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

Modeling and verification of real-time systems

Nicolas Navet

2008No page data
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.
Computer aided verificationNicolas Halbwachs
⏱ 8h 26m

Computer aided verification

Nicolas Halbwachs

1999506 pp.
Industrial used of formal methodJean-Louis Boulanger

Industrial used of formal method

Jean-Louis Boulanger

2012No page data
Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change requestBen L. Di Vito
⏱ 1h 26m

Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request

Ben L. Di Vito

199686 pp.
Formal methods for computational systems biologyInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th 2008 Bertinoro, Italy)
⏱ 8h 43m

Formal methods for computational systems biology

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th 2008 Bertinoro, Italy)

2008523 pp.
Scalable Techniques for Formal VerificationSandip Ray
⏱ 4h 19m

Scalable Techniques for Formal Verification

Sandip Ray

2010259 pp.
Verification of Reactive SystemsKlaus Schneider
⏱ 10h 0m

Verification of Reactive Systems

Klaus Schneider

2003600 pp.
Tests and Proofs Lecture Notes in Computer ScienceAchim D. Brucker
⏱ 3h 7m

Tests and Proofs Lecture Notes in Computer Science

Achim D. Brucker

2012187 pp.
Formal methods of program verification and specificationH. K. Berg
⏱ 3h 27m

Formal methods of program verification and specification

H. K. Berg

1982207 pp.
Verification, model checking, and abstract interpretationVMCAI 2004 (2004 Venice, Italy)
⏱ 5h 24m

Verification, model checking, and abstract interpretation

VMCAI 2004 (2004 Venice, Italy)

2004324 pp.
Formal methods for industrial critical systemsInternational Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany)
⏱ 4h 10m

Formal methods for industrial critical systems

International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany)

2008250 pp.
Formal methodsInternational Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany)
⏱ 6h 3m

Formal methods

International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany)

2007363 pp.
Formal methodsInternational Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany)
⏱ 6h 1m

Formal methods

International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany)

2007361 pp.
Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science Programming and SoftwareMari Lle Stoelinga

Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science Programming and Software

Mari Lle Stoelinga

2012No page data
Page 1 of 4Next →