E-LOTOS
From MaRDI portal
Software:15551
swMATH3017MaRDI QIDQ15551FDOQ15551
Author name not available (Why is that?)
Cited In (22)
- 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?)
- Automated Reasoning
- Symbolic Reachability for Process Algebras with Recursive Data Types
- 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
- 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
