swMATH3017MaRDI QIDQ15551FDOQ15551
Author name not available (Why is that?)
Official website: http://www.inrialpes.fr/vasy/elotos/
Cited In (36)
- The how and why of interactive Markov chains
- Dynamic and formal verification of embedded systems: A comparative survey
- Interactive Markov chains. And the quest for quantified quality
- Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS
- Formal modelling and verification of GALS systems using GRL and CADP
- Title not available (Why is that?)
- Title not available (Why is that?)
- Revisiting sequential composition in process calculi
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Title not available (Why is that?)
- CADP
- Fiacre
- Automated Reasoning
- Exp.Open
- CAESAR_SOLVE
- fc2tools
- Polychrony
- PIC2LNT
- GRL
- Symbolic Reachability for Process Algebras with Recursive Data Types
- Ergo 6
- LNT2LOTOS
- AADL
- XTL
- Salsa
- A linear process-algebraic format with data for probabilistic automata
- Refined Interfaces for Compositional Verification
- Compositional verification of asynchronous concurrent systems using CADP
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
- Combating infinite state using Ergo
- A timed verification of the IEEE 1394 Leader election protocol
- Möbius
- A database approach to distributed state-space generation
- Computation Tree Regular Logic for Genetic Regulatory Networks
- Title not available (Why is that?)
- PIC2LNT: model transformation for model checking an applied pi-calculus
This page was built for software: E-LOTOS
