Algebraic model checking for discrete linear dynamical systems
Model checking infinite-state systems is one of the central challenges in automated verification. In this survey we focus on an important and fundamental subclass of infinite-state systems, namely discrete linear dynamical systems. While such systems are ubiquitous in mathematics, physics, engineeri...
Egile Nagusiak: | Luca, F, Ouaknine, J, Worrell, J |
---|---|
Formatua: | Conference item |
Hizkuntza: | English |
Argitaratua: |
Springer Nature
2022
|
Antzeko izenburuak
-
On LTL model-checking for low-dimensional discrete linear dynamical systems
nork: Karimov, T, et al.
Argitaratua: (2020) -
Linear Completeness Thresholds for Bounded Model Checking.
nork: Kroening, D, et al.
Argitaratua: (2011) -
Algebraic invariants for linear hybrid automata
nork: Majumdar, R, et al.
Argitaratua: (2020) -
O-minimal invariants for discrete-time dynamical systems
nork: Almagor, S, et al.
Argitaratua: (2022) -
On the Magnitude of Completeness Thresholds in Bounded Model Checking
nork: Bundala, D, et al.
Argitaratua: (2012)