Segment Abstraction for Worst-Case Execution Time Analysis

DOI10.1007/978-3-662-46669-8_5zbMath1335.68049OpenAlexW1774237421MaRDI QIDQ2802432

Pavol Černý, Jakob Zwirchmayr, Laura Kovács, Arjun Radhakrishna, Thomas A. Henzinger

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46669-8_5

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: Segment Abstraction for Worst-Case Execution Time Analysis