A Theory for Control-Flow Graph Exploration

DOI10.1007/978-3-319-02444-8_44zbMath1410.68082OpenAlexW1480083412MaRDI QIDQ5166718

Stephan Arlt, Philipp Rümmer, Martin Schäf

Publication date: 8 July 2014

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

Full work available at URL: http://orbilu.uni.lu/handle/10993/10425

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Joogie

This page was built for publication: A Theory for Control-Flow Graph Exploration