Communication protocol specification and verification von Lai, Richard, Jirachiefpattana, Ajin

Program verification in synthetic domain theory von Reus, Bernhard 1965-

An introduction to formal specification and verification using EHDM von Rushby, John, Henke, Friedrich, Owre, Sam

The HOL verification of ELLA designs

The specification and verification of sliding window protocols in higher order logic von Cardell-Oliver, Rachel

Totally verified systems, linking verified software to verified hardware von Joyce, Jeffrey J.

Programmentwicklung und Verifikation von Futschek, Gerald

The Calculus of computation decision procedures with applications to verification von Bradley, Aaron R., Manna, Zohar 1939-2018

Inhaltsverzeichnis

Guidance for the verification and validation of neural networks von Pullum, Laura L., Taylor, Brian J., Darrah, Majorie A.

Inhaltsverzeichnis

Program specification and verification in VDM von Jones, Cliff B. 1944-

The characterization problem for hoare logic von Clarke, E. M.

Adequate proof principles for invariance and liveness properties of concurrent programs von Manna, Zohar 1939-2018, Pnueli, Amir

Verifying the absence of common runtime errors in computer programs von German, Steven M.

Compiler specification and verification von Polak, Wolfgang

Type reduction and program verification von Jefferson, David R.

Automatic verification of programs with complex data structures von Suzuki, Norihisa

A formal system for specifying and verifying program performance von Shaw, Mary

Formula simplification in relation to program verification von Ammeraal, Leendert

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems von Rushby, John

Verification of logic programs using verification sentences von Waldau, Mattias