scientific article; zbMATH DE number 1390248

MaRDI QIDQ4934533zbMATH OpenFDO

Authors Wolfgang Goerigk, Thilo S. Gaul, Wolf Zimmermann

Publication date 17 February 2002

zbMATH Keywords

program verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Designing programs that check their work
• Program verification.
• Checking geometric programs or verification of geometric structures
• Designing checkers for programs that run in parallel
• scientific article; zbMATH DE number 1630129

Cited in

(12)

• Checking geometric programs or verification of geometric structures
• Problem identification using program checking
• Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
• scientific article; zbMATH DE number 1630130 (Why is no real title available?)
• Mechanical software verification: high level control aspects from a user's perspective
• On the strength of “sometimes” and “always” in program verification
• Program result checking: a new approach to making programs more reliable
• Collaborative verification and testing with explicit assumptions
• scientific article; zbMATH DE number 1832224 (Why is no real title available?)
• On Trojan horses of Thompson-Goerigk-type, their generation, intrusion, detection and prevention
• Correction
• Correctness of programs with Pascal-like procedures without global variables

Describes a project that uses

Uses Software

• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934533)