E-LOTOS
From MaRDI portal
Software:15551
swMATH3017MaRDI QIDQ15551FDOQ15551
Author name not available (Why is that?)
Cited In (22)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003
- A Database Approach to Distributed State-Space Generation
- 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?)
- The How and Why of Interactive Markov Chains
- Revisiting sequential composition in process calculi
- Title not available (Why is that?)
- Automated Reasoning
- Symbolic Reachability for Process Algebras with Recursive Data Types
- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
- 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
- A timed verification of the IEEE 1394 Leader election protocol
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
- Computation Tree Regular Logic for Genetic Regulatory Networks
- Title not available (Why is that?)
This page was built for software: E-LOTOS
