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...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: Luca, F, Ouaknine, J, Worrell, J
Formatua: Conference item
Hizkuntza:English
Argitaratua: Springer Nature 2022

Antzeko izenburuak