Symbolic WCET analysis of programs containing input-dependent branches

zbMATH Open1098.68551MaRDI QIDQ5478263FDOQ5478263

Mengluo Ji, Zhichang Qi, Huaimin Wang

Publication date: 12 July 2006

zbMATH Keywords

real-time systemsoftware engineeringprogram analysis

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (2)

• Symbolic Loop Bound Computation for WCET Analysis
• Data-flow frameworks for worst-case execution time analysis

   Recommendations

• Data-flow frameworks for worst-case execution time analysis 👍 👎
• Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution 👍 👎
• Symbolic Loop Bound Computation for WCET Analysis 👍 👎
• Symbolic worst case execution times 👍 👎
• Segment Abstraction for Worst-Case Execution Time Analysis 👍 👎

This page was built for publication: Symbolic WCET analysis of programs containing input-dependent branches

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