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...
Guardat en:
| Autors principals: | , , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
IEEE
2022-01-01
|
| Col·lecció: | IEEE Access |
| Matèries: | |
| Accés en línia: | https://ieeexplore.ieee.org/document/9903617/ |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|