Computer Program Verification

251 books
Axiomatic proof techniques for parallel programsSusan Speer Owicki
⏱ 3h 18m

Axiomatic proof techniques for parallel programs

Susan Speer Owicki

1980198 pp.
A survey of verification techniques for parallel programsHoward Barringer
⏱ 1h 54m

A survey of verification techniques for parallel programs

Howard Barringer

1985114 pp.
Verification, model checking, and abstract interpretationLenore D. Zuck
⏱ 5h 25m

Verification, model checking, and abstract interpretation

Lenore D. Zuck

2003325 pp.
Measurement-based reliability/performability modelsMei-Chen Hsueh

Measurement-based reliability/performability models

Mei-Chen Hsueh

1987No page data
The specification-based validation of Reliable Multicast ProtocolYunqing Wu

The specification-based validation of Reliable Multicast Protocol

Yunqing Wu

1995No page data
Well-founded orderings for proving termination of systems of rewrite rulesDavid A. Plaisted
⏱ 34m

Well-founded orderings for proving termination of systems of rewrite rules

David A. Plaisted

197834 pp.
The calculus of computationAaron R. Bradley
⏱ 6h 6m

The calculus of computation

Aaron R. Bradley

2007366 pp.
Program ConstructionHeinz Bauer
⏱ 11h 4m

Program Construction

Heinz Bauer

1982664 pp.
Model Checking SoftwareEzio Bartocci
⏱ 6h 27m

Model Checking Software

Ezio Bartocci

2013387 pp.
Logics and analyses for concurrent heap-manipulating programsAlexey Gotsman
⏱ 2h 42m

Logics and analyses for concurrent heap-manipulating programs

Alexey Gotsman

2009162 pp.
Computer Aided VerificationKousha Etessami

Computer Aided Verification

Kousha Etessami

2005No page data
Mechanical verification of a schematic Byzantine clock synchronization algorithmNatarajan Shankar
⏱ 2h 7m

Mechanical verification of a schematic Byzantine clock synchronization algorithm

Natarajan Shankar

1991127 pp.
Extensions of the UNITY methodologyRao, Josyula Ramachandra
⏱ 2h 58m

Extensions of the UNITY methodology

Rao, Josyula Ramachandra

1995178 pp.
A model for merging software prototypesDavid A. Dampier
⏱ 16m

A model for merging software prototypes

David A. Dampier

199216 pp.
Flight guidance system validation using SPINDimitri Naydich

Flight guidance system validation using SPIN

Dimitri Naydich

1998No page data
21 CFR Part 11Orlando Lopez
⏱ 4h 24m

21 CFR Part 11

Orlando Lopez

2004264 pp.
Verification of systems and circuits using LOTOS, Petri Nets, and CCSMichael Yoeli
⏱ 4h 8m

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Michael Yoeli

2008248 pp.
Quantitative measures for software independent verification and validationAlice Lee

Quantitative measures for software independent verification and validation

Alice Lee

1996No page data
Trustworthy global computingRocco De Nicola
⏱ 6h 11m

Trustworthy global computing

Rocco De Nicola

2005371 pp.
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)Kedar S. Namjoshi
⏱ 7h 23m

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

Kedar S. Namjoshi

2006443 pp.
← PreviousPage 5 of 13Next →