Linear approximation of execution-time constraints

DOI10.1007/s00165-003-0019-0zbMath1093.68025OpenAlexW1970456879MaRDI QIDQ706493

Colin J. Fidge, Karl Lermer, Ian J. Hayes

Publication date: 8 February 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://espace.library.uq.edu.au/view/UQ:10540/svrc_02_31.pdf

zbMATH Keywords

Automatic constraint determinationControl-flow analysisReal-time program analysisTiming predictionWorst-case and best-case execution times

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A theory for execution-time derivation in real-time programs

This page was built for publication: Linear approximation of execution-time constraints