Discrete-Time Systems Modeling and Verification With Alvis Language and Tools

Discrete-Time Systems Modeling and Verification With Alvis Language and Tools

Alvis is a formal modeling language intended for developing systems consisting of concurrently operating units (real-time, embedded, and distributed systems). This paper describes the timed version of Alvis that is suitable for modeling discrete-time systems. This paper is the first relatively compl...

Full description

Bibliographic Details
Main Authors: Marcin Szpyrka, Michal Wypych, Jerzy Biernacki, Lukasz Podolski
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Discrete-time systems
formal languages
system analysis and design
system verification
concurrency control
Online Access:https://ieeexplore.ieee.org/document/8565865/

Internet

https://ieeexplore.ieee.org/document/8565865/

Similar Items