scientific article; zbMATH DE number 177528

MaRDI QIDQ4037397zbMATH OpenFDO

Authors James M. Morris, Mark Howard

Publication date 18 May 1993

zbMATH Keywords

asymptotic correctnessprogram verification systemtransition systemverification of numerical programs

Mathematics Subject Classification ID

Computer aspects of numerical algorithms (65Y99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177260
• Formal verification of programs for abstract register machines
• scientific article; zbMATH DE number 4024753
• Program verification: state of the art, problems, and results. I
• Problem-oriented program verification system ?SPEKTR?

Cited in

(1)

• scientific article; zbMATH DE number 177260 (Why is no real title available?)

Describes a project that uses

Uses Software

• Clio
• Ariel
• Caliban

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 Q4037397)