scientific article; zbMATH DE number 177528

zbMATH Open0765.68135MaRDI QIDQ4037397FDOQ4037397

Authors: James M. Morris, Mark Howard 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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?

zbMATH Keywords

transition systemasymptotic correctnessverification of numerical programsprogram verification system

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)