Formal verification and evaluation of execution time in the envelope theory

DOI10.1007/BFB0027802zbMATH Open1541.6822MaRDI QIDQ6560367FDOQ6560367

Authors: S. Igarashi, M. Shio, Tetsuya Shirogane, T. Mizutani 

Publication date: 21 June 2024

Recommendations

• Towards a theory of time-bounded verification
• A theory for execution-time derivation in real-time programs
• A Hoare-like proof system for analysing the computation time of programs
• Hoare logics for time bounds. A study in meta theory
• scientific article; zbMATH DE number 2112985

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Proof theory
• Logic, language and computation. Festschrift in Honor of Satoru Takasu
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Formal verification and evaluation of execution time in the envelope theory

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