Program Verification Computers

251 books
Formal methods for industrial critical systemsInternational Workshop on Formal Methods for Industrial Critical Systems (14th 2009 Eindhoven, The Netherlands)
⏱ 3h 32m

Formal methods for industrial critical systems

International Workshop on Formal Methods for Industrial Critical Systems (14th 2009 Eindhoven, The Netherlands)

2009212 pp.
Runtime VerificationOleg Sokolsky
⏱ 3h 33m

Runtime Verification

Oleg Sokolsky

2007213 pp.
METCAN verification statusUnknown Author
⏱ 14m

METCAN verification status

Unknown Author

199014 pp.
Verification, Induction, Termination AnalysisSimon Siegler

Verification, Induction, Termination Analysis

Simon Siegler

2010No page data
Verified softwareVSTTE 2010 (2010 Edinburgh, Scotland)
⏱ 3h 35m

Verified software

VSTTE 2010 (2010 Edinburgh, Scotland)

2010215 pp.
Enterprise OSGi in Action: With examples using Apache AriesHolly Cummins
⏱ 6h 40m

Enterprise OSGi in Action: With examples using Apache Aries

Holly Cummins

2013400 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
Hardware and softwareInternational Haifa Verification Conference (4th 2008 Haifa, Israel)
⏱ 3h 34m

Hardware and software

International Haifa Verification Conference (4th 2008 Haifa, Israel)

2009214 pp.
Verifying concurrent processes using temporal logicBrent T. Hailpern
⏱ 3h 28m

Verifying concurrent processes using temporal logic

Brent T. Hailpern

1982208 pp.
Pressure vessels and pipingUnknown Author
⏱ 1h 49m

Pressure vessels and piping

Unknown Author

1975109 pp.
On the formal verification of conflict detection algorithimsUnknown Author

On the formal verification of conflict detection algorithims

Unknown Author

2001No page data
Formal Methods and Software EngineeringToshiaki Aoki
⏱ 8h 47m

Formal Methods and Software Engineering

Toshiaki Aoki

2012527 pp.
Hardware and software, verification and testingShmuel Ur
⏱ 4h 25m

Hardware and software, verification and testing

Shmuel Ur

2006265 pp.
Assessing the impact of modeling limits on intelligent systemsWilliam B. Rouse

Assessing the impact of modeling limits on intelligent systems

William B. Rouse

1990No page data
Verification and validation in systems engineeringMourad Debbabi
⏱ 4h 34m

Verification and validation in systems engineering

Mourad Debbabi

2010274 pp.
Computer aided verificationCAV (Conference) (13th 2001 Paris)
⏱ 8h 40m

Computer aided verification

CAV (Conference) (13th 2001 Paris)

2001520 pp.
Model Checking SoftwareAlastair Donaldson

Model Checking Software

Alastair Donaldson

2012No page data
Development of a software safety process and a case study of its useJohn C. Knight

Development of a software safety process and a case study of its use

John C. Knight

1993No page data
Hardware and Software: Verification and TestingKedar S. Namjoshi

Hardware and Software: Verification and Testing

Kedar S. Namjoshi

2011No page data
Software verification and validationMichael S. Deutsch
⏱ 5h 27m

Software verification and validation

Michael S. Deutsch

1982327 pp.
← PreviousPage 10 of 13Next →