Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment

Alvis is a formal modelling language developed primarily for modelling concurrent systems including real-time systems. The prepared model is compiled, and the resulting runnable model allows, e.g., to generate the state space and to verify the model using model checking techniques. The default versi...

Descripción completa

Detalles Bibliográficos

Autores principales:	Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich
Formato:	Artigo
Lenguaje:	Inglês
Publicado:	IEEE 2022-01-01
Colección:	IEEE Access
Materias:	Alvis language discrete-time systems formal languages single-processor hardware system analysis and design system verification
Acceso en línea:	https://ieeexplore.ieee.org/document/9903617/
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!