Cutting-Edge Timing Analysis Techniques
From MaRDI portal
Publication:2883114
DOI10.4230/LIPIcs.ICLP.2010.303zbMath1237.68067MaRDI QIDQ2883114
Publication date: 11 May 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_6104.html
verification; symbolic computation; static analysis; timing analysis; worst-case execution time; hard real-time systems; nested loop; loop-invariants
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software