Código QR (código de barras bidimensional)

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

Fuld beskrivelse

Na minha lista:
Principais autores: Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich
Format: Artigo
Sprog:Inglês
Udgivet: IEEE 2022-01-01
Serier:IEEE Access
Fag:
Alvis language
discrete-time systems
formal languages
single-processor hardware
system analysis and design
system verification
Online adgang:https://ieeexplore.ieee.org/document/9903617/
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker