Formal modelling and verification of GALS systems using GRL and CADP

DOI10.1007/s00165-016-0373-3zbMath1345.68023OpenAlexW2306232110MaRDI QIDQ315303

Radu Mateescu, Fatma Jebali, Frédéric Lang

Publication date: 20 September 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01290449/file/fac2egui-crc.pdf

zbMATH Keywords

asynchronous concurrencyCADPformal description techniquesGALS systemsGRLmodel-based verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Uses Software

• E-LOTOS
• SPIN
• CADP
• Polychrony
• GRL
• Esterel
• LNT2LOTOS
• AADL

Cites Work

• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
• Compositional verification of asynchronous concurrent systems using CADP
• Concurrency in synchronous systems
• Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
• From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
• CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
• Branching time and abstraction in bisimulation semantics
• Computer Aided Verification
• System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal modelling and verification of GALS systems using GRL and CADP