Structural Invariants for the Verification of Systems with Parameterized Architectures

We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata.

Detalles Bibliográficos
Autores principales: Bozga, Marius, Esparza, Javier, Iosif, Radu, Sifakis, Joseph, Welzel, Christoph
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7439742/
http://dx.doi.org/10.1007/978-3-030-45190-5_13
Descripción
Sumario:We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata.

Ejemplares similares