by Krzysztof R. Apt, Ernst-Rüdiger Olderog
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Computer programming · Pascal (Computer program language)
The design of well-structured and correct programs
1978
Computer programs · Congresses
Verification, model checking, and abstract interpretation
2004
Verification · Computer software
Verification of sequential and concurrent programs
1991
Logic design · Software engineering
Programming Languages and Systems
2009
Parallel processing (Electronic computers) · Verification
A survey of verification techniques for parallel programs
1985
Development · Computer software
Constructing correct software
1998
Computer programs · Verification
Verifiable programming
1992
Programmverifikation · Formale Semantik
Semantik und Programmverifikation
2001
Datenfluss · Programmtest
Static Analysis
Programmanalyse · Programmverifikation
Formal methods
2003
Verifikation (Datenverarbeitung) · Programmverifikation
Programmentwicklung und Verifikation
1989
Computer software · Validation
Software verification and validation
1982
Bisimulation · Programmverifikation
Programming languages and systems
2008
