Cited in
(41)- 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
- scientific article; zbMATH DE number 1759425 (Why is no real title available?)
- scientific article; zbMATH DE number 1973989 (Why is no real title available?)
- Revisiting sequential composition in process calculi
- MoDeST
- Uppaal2k
- LOTOS
- MOTOR
- ATERM
- CADP
- Fiacre
- Exp.Open
- CAESAR_SOLVE
- fc2tools
- Polychrony
- PIC2LNT
- GRL
- Ergo 6
- LNT2LOTOS
- AADL
- XTL
- Salsa
- Möbius
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- scientific article; zbMATH DE number 1884414 (Why is no real title available?)
- Automated Reasoning
- Symbolic Reachability for Process Algebras with Recursive Data Types
- A linear process-algebraic format with data for probabilistic automata
- Compositional verification of asynchronous concurrent systems using CADP
- Refined Interfaces for Compositional Verification
- 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
- scientific article; zbMATH DE number 1418456 (Why is no real title available?)
- PIC2LNT: model transformation for model checking an applied pi-calculus
This page was built for software: E-LOTOS
