Program Verification Computers

251 books
Verified Software : Theorie, Tools, ExperimentsErnie Cohen
⏱ 6h 1m

Verified Software : Theorie, Tools, Experiments

Ernie Cohen

2014361 pp.
Concurrency, Graphs and ModelsPierpaolo Degano
⏱ 13h 30m

Concurrency, Graphs and Models

Pierpaolo Degano

2008810 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.
Verification and validation of a reliable multicast protocolJohn R. Callahan

Verification and validation of a reliable multicast protocol

John R. Callahan

1995No page data
Hardware and Software: Verification and TestingArmin Biere
⏱ 4h 47m

Hardware and Software: Verification and Testing

Armin Biere

2013287 pp.
The validation by measurement theory of proposed object-oriented software metricsRalph D. Neal

The validation by measurement theory of proposed object-oriented software metrics

Ralph D. Neal

1994No page data
Computer Aided Verification (vol. # 3576)Unknown Author
⏱ 9h 24m

Computer Aided Verification (vol. # 3576)

Unknown Author

2005564 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.
Software project management and measurement on the World-Wide-Web (WWW)John Callahan

Software project management and measurement on the World-Wide-Web (WWW)

John Callahan

1996No 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.
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.
Verification, Model Checking, and Abstract InterpretationKenneth McMillan
⏱ 8h 31m

Verification, Model Checking, and Abstract Interpretation

Kenneth McMillan

2014511 pp.
Hardware and Software: Verification and TestingSharon Barner

Hardware and Software: Verification and Testing

Sharon Barner

2011No page data
Hardware and software, verification and testingInternational Haifa Verification Conference (2nd 2006 Haifa, Israel)
⏱ 3h 54m

Hardware and software, verification and testing

International Haifa Verification Conference (2nd 2006 Haifa, Israel)

2007234 pp.
Enhancing aeropropulsion research with high-speed interactive computingJohn R. Szuch

Enhancing aeropropulsion research with high-speed interactive computing

John R. Szuch

1991No page data
A constructive method for the architectural design and correctness verification of real-time programsSamuli Saukkonen
⏱ 2h 2m

A constructive method for the architectural design and correctness verification of real-time programs

Samuli Saukkonen

1983122 pp.
Experiences using formal methods for requirements modelingUnknown Author

Experiences using formal methods for requirements modeling

Unknown Author

1996No page data
Computer Aided VerificationNatasha Sharygina
⏱ 17h 17m

Computer Aided Verification

Natasha Sharygina

20131037 pp.
Transactions on Foundations for Mastering Change IBernhard Steffen
⏱ 4h 29m

Transactions on Foundations for Mastering Change I

Bernhard Steffen

2016269 pp.
Runtime VerificationAxel Legay
⏱ 7h 6m

Runtime Verification

Axel Legay

2009426 pp.
← PreviousPage 9 of 13Next →