Control Flow Refinement and Symbolic Computation of Average Case Bound

DOI10.1007/978-3-319-02444-8_24zbMATH Open1410.68084OpenAlexW174361986MaRDI QIDQ5166698

Supratik Mukhopadhyay, Zheng Lu, Hongyi Chen

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_24

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Symbolic Loop Bound Computation for WCET Analysis

This page was built for publication: Control Flow Refinement and Symbolic Computation of Average Case Bound

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