Author:Thomas Martin Gawlitza
Keyphrasesabstract interpretation2, fixpoint equation systems, interval analysis, parametric program analysis, static program analysis, Strategy Improvement Algorithms, strategy iteration, timed automata, verification, Zones. |