Communication and Concurrency
Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
Concurrent and Real-Time Programming in Ada
Concurrent and Real-Time Programming in Ada
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Formal Description of Alvis Language with α0 System Layer
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Hi-index | 0.00 |
Alvis is a modelling language designed for the modelling and formal verification of embedded systems. The key concept of Alvis is an agent that denotes any distinguished part of a considered system with defined identity persisting in time. Alvis combines a graphical modelling of interconnections among agents with a high level programming language used for describing a behaviour of agents. The basic property of the Alvis Toolkit is the ability of generating of a formal system description directly from the Alvis source code. A way of generating Labelled Transition Systems for Alvis models is presented in the paper.