Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification

DOI10.1007/978-3-540-71322-7_3zbMath1149.68405OpenAlexW1608506050MaRDI QIDQ3593068

Wolfgang J. Paul, Steffen Knapp

Publication date: 24 September 2007

Published in: Program Analysis and Compilation, Theory and Practice (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71322-7_3

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Proving fairness and implementation correctness of a microkernel scheduler ⋮ Proving the correctness of client/server software

This page was built for publication: Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification