Author:Helmut Seidl
Keyphrasesabstract interpretation2, fixpoint equation systems, interval analysis, parametric program analysis, static program analysis, Strategy Improvement Algorithms, strategy iteration, timed automata, verification, Zones. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |