Cutting-Edge Timing Analysis Techniques
From MaRDI portal
Publication:2883114
DOI10.4230/LIPIcs.ICLP.2010.303zbMath1237.68067OpenAlexW1577445732MaRDI QIDQ2883114
Publication date: 11 May 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_6104.html
verificationsymbolic computationstatic analysistiming analysisworst-case execution timehard real-time systemsnested looploop-invariants
Uses Software