HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Thomas Heinz

Publications
Industrial Examples of Formal Specifications for Test Case Generation
Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking and Matthias Woehrle
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: Reachability on a model with holes
Thomas Heinz, Jens Oehlerking and Matthias Woehrle
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

benchmark, control, Educational, formal specifications, hybrid automata, Industrial, safety, temporal logic, test case generation, verification.

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