HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Thomas Martin Gawlitza

Publications
Parametric Strategy Iteration
Helmut Seidl, Thomas Martin Gawlitza and Martin Schwarz
In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Abstract Interpretation over Zones without Widening
Thomas Martin Gawlitza and Helmut Seidl
In:WING 2010. Workshop on Invariant Generation 2010

Keyphrases

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

Copyright © 2012-2025 easychair.org. All rights reserved.