Program Verification Computers

251 books
Rigorous software developmentJosé Bacelar Almeida
⏱ 4h 30m

Rigorous software development

José Bacelar Almeida

2011270 pp.
Construction, amélioration et vérification de programmesG. Huet
⏱ 7h 56m

Construction, amélioration et vérification de programmes

G. Huet

1975476 pp.
Guidance for the verification and validation of neural networksLaura L. Pullum
⏱ 2h 13m

Guidance for the verification and validation of neural networks

Laura L. Pullum

2007133 pp.
An introduction to requirements capture using PVSRicky W. Butler

An introduction to requirements capture using PVS

Ricky W. Butler

1996No page data
Gradle in ActionBenjamin Muschko
⏱ 8h 0m

Gradle in Action

Benjamin Muschko

2014480 pp.
The formal semantics of PVSSam Owre

The formal semantics of PVS

Sam Owre

1999No page data
Modular compiler verificationMarkus Müller-Olm
⏱ 4h 10m

Modular compiler verification

Markus Müller-Olm

1997250 pp.
Validation of the NPARC code for nozzle afterbody flows at transonic speedsJames R. DeBonis

Validation of the NPARC code for nozzle afterbody flows at transonic speeds

James R. DeBonis

1995No page data
Hardware and software, verification and testingInternational Haifa Verification Conference (3rd 2007 Haifa, Israel)
⏱ 4h 26m

Hardware and software, verification and testing

International Haifa Verification Conference (3rd 2007 Haifa, Israel)

2008266 pp.
Numerical Software with Result VerificationRenT Alt
⏱ 5h 15m

Numerical Software with Result Verification

RenT Alt

2004315 pp.
Problemy spet︠s︡ifikat︠s︡ii i verifikat︠s︡ii parallelʹnykh sistemValeriĭ Aleksandrovich Nepomni︠a︡shchiĭ
⏱ 3h 55m

Problemy spet︠s︡ifikat︠s︡ii i verifikat︠s︡ii parallelʹnykh sistem

Valeriĭ Aleksandrovich Nepomni︠a︡shchiĭ

1995235 pp.
Specification, verification, and net models of concurrent systemsValeriĭ Aleksandrovich Nepomni︠a︡shchiĭ
⏱ 3h 13m

Specification, verification, and net models of concurrent systems

Valeriĭ Aleksandrovich Nepomni︠a︡shchiĭ

1994193 pp.
Critical SystemsLaure Petrucci
⏱ 4h 9m

Critical Systems

Laure Petrucci

2017249 pp.
Hardware and Software : Verification and TestingRoderick Bloem
⏱ 3h 47m

Hardware and Software : Verification and Testing

Roderick Bloem

2016227 pp.
Data refinementW.-P. de Roever
⏱ 7h 9m

Data refinement

W.-P. de Roever

1998429 pp.
Numerical software with result verificationAndreas Frommer
⏱ 5h 13m

Numerical software with result verification

Andreas Frommer

2004313 pp.
Specification and verification of gate-level VHDL models of synchronous and asynchronous circuitsDavid M. Russinoff

Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits

David M. Russinoff

1995No page data
Automatic verification of programs with complex data structuresSuzuki, Norihisa
⏱ 2h 56m

Automatic verification of programs with complex data structures

Suzuki, Norihisa

1980176 pp.
ParaSoft insure++ParaSoft
⏱ 28m

ParaSoft insure++

ParaSoft

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

The Seventeen Provers of the World

Freek Wiedijk

2006158 pp.
← PreviousPage 6 of 13Next →