E-LOTOS
From MaRDI portal
Software:15551
No author found.
Related Items (22)
Unnamed Item ⋮ Formal modelling and verification of GALS systems using GRL and CADP ⋮ Unnamed Item ⋮ PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus ⋮ Revisiting sequential composition in process calculi ⋮ Computation Tree Regular Logic for Genetic Regulatory Networks ⋮ CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interactive Markov chains. And the quest for quantified quality ⋮ Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k ⋮ Dynamic and formal verification of embedded systems: A comparative survey ⋮ A timed verification of the IEEE 1394 Leader election protocol ⋮ The How and Why of Interactive Markov Chains ⋮ Refined Interfaces for Compositional Verification ⋮ A Database Approach to Distributed State-Space Generation ⋮ A linear process-algebraic format with data for probabilistic automata ⋮ Formal Techniques for Networked and Distributed Systems - FORTE 2003 ⋮ Automated Reasoning ⋮ Symbolic Reachability for Process Algebras with Recursive Data Types ⋮ Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS ⋮ Compositional verification of asynchronous concurrent systems using CADP
This page was built for software: E-LOTOS
