Program Verification Computers

251 books
Verification, model checking, and abstract interpretationVMCAI 2005 (2005 Paris, France)
⏱ 8h 1m

Verification, model checking, and abstract interpretation

VMCAI 2005 (2005 Paris, France)

2005481 pp.
Leveraging Applications of Formal Methods, Verification and Validation : Foundational TechniquesTiziana Margaria
⏱ 16h 37m

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques

Tiziana Margaria

2016997 pp.
Computer program testingSummer School on Computer Program Testing (1981 Urbino)
⏱ 5h 25m

Computer program testing

Summer School on Computer Program Testing (1981 Urbino)

1981325 pp.
The applicability of proposed object-oriented metrics to developer feedback in time to impact developmentRalph D. Neal

The applicability of proposed object-oriented metrics to developer feedback in time to impact development

Ralph D. Neal

1996No page data
Proving operating systems correctRichard Alan Karp
⏱ 2h 41m

Proving operating systems correct

Richard Alan Karp

1983161 pp.
Experience reportEdward A. Addy

Experience report

Edward A. Addy

1996No page data
A computer system for checking proofsScott D. Johnson
⏱ 4h 22m

A computer system for checking proofs

Scott D. Johnson

1982262 pp.
An introduction to the PL/CV2 programming logicRobert L. Constable

An introduction to the PL/CV2 programming logic

Robert L. Constable

1982No page data
A survey of imput-output semantics and program verificationAndrzej Blikle
⏱ 1h 4m

A survey of imput-output semantics and program verification

Andrzej Blikle

197964 pp.
Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der ProgrammerstellungAlfred Lothar Luft
⏱ 53m

Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der Programmerstellung

Alfred Lothar Luft

197553 pp.
Programming logicsRaymond D. Gumb
⏱ 5h 34m

Programming logics

Raymond D. Gumb

1989334 pp.
PLPV'07PLPV '07 (2007 Freiburg, Germany)
⏱ 1h 9m

PLPV'07

PLPV '07 (2007 Freiburg, Germany)

200769 pp.
RIACS workshop on the verification and validation of autonomous and adaptive systemsCharles Pecheur

RIACS workshop on the verification and validation of autonomous and adaptive systems

Charles Pecheur

2001No page data
Actes des Journées francophones sur la certification du logicielJournées francophones sur la certification du logiciel (1979 Geneva, Switzerland)
⏱ 2h 35m

Actes des Journées francophones sur la certification du logiciel

Journées francophones sur la certification du logiciel (1979 Geneva, Switzerland)

1979155 pp.
Verifikat︠s︡ii︠a︡ avtomatnykh programmS. Ė. Velʹder
⏱ 4h 4m

Verifikat︠s︡ii︠a︡ avtomatnykh programm

S. Ė. Velʹder

2011244 pp.
Guideline for lifecycle validation, verification, and testing of computer softwareUnited States. National Bureau of Standards
⏱ 37m

Guideline for lifecycle validation, verification, and testing of computer software

United States. National Bureau of Standards

198437 pp.
Follow-on low noise fan aerodynamic studyNathan J. Heidegger

Follow-on low noise fan aerodynamic study

Nathan J. Heidegger

1999No page data
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.
← PreviousPage 4 of 13Next →