Improving HyLTL model checking of hybrid systems
The problem of model-checking hybrid systems is a long-time challenge in the scientific community. Most of the existing approaches and tools are either limited on the properties that they can verify, or restricted to simplified classes of systems. To overcome those limitations, a temporal logic call...
Main Author: | Davide Bresolin |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2013-07-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1307.4470v1 |
Similar Items
-
HyLTL: a temporal logic for model checking hybrid systems
by: Davide Bresolin
Published: (2013-08-01) -
LTL model checking of interval Markov chains
by: Benedikt, M, et al.
Published: (2013) -
Linear Encodings of Bounded LTL Model Checking
by: Armin Biere, et al.
Published: (2006-11-01) -
Measuring Progress of Probabilistic LTL Model Checking
by: Elise Cormie-Bowins, et al.
Published: (2012-07-01) -
The application of adaptive symmetry reduction for LTL model checking
by: I. V. Konnov, et al.
Published: (2010-12-01)