Author:Thomas Martin Gawlitza

Keyphrases

abstract interpretation², fixpoint equation systems, interval analysis, parametric program analysis, static program analysis, Strategy Improvement Algorithms, strategy iteration, timed automata, verification, Zones.