Refinement of infeasible real-time programs

MaRDI QIDQ4370268zbMATH OpenFDO

Authors Mark Utting, Colin Fidge

Publication date 14 January 1998

zbMATH Keywords

embedded real-time programs

Mathematics Subject Classification ID

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

Recommendations

• A sequential real-time refinement calculus
• Verification, refinement and scheduling of real-time programs
• scientific article; zbMATH DE number 1949613

Cited in

(5)

• A formal model of real-time program compilation
• Refinement of trace abstraction for real-time programs
• Real-time properties of indirect recursive procedures
• Separating timing and calculation in real-time refinement
• Computer-aided development of a real-time program

This page was built for publication: Refinement of infeasible real-time programs

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