FDR3
From MaRDI portal
Software:24316
No author found.
Related Items (26)
Sound reasoning in \textit{tock}-CSP ⋮ Testing using CSP Models: Time, Inputs, and Outputs ⋮ Tracking CSP computations ⋮ Process Algebra and Model Checking ⋮ Behavioural Models for FMI Co-simulations ⋮ Rigorous development of component-based systems using component metadata and patterns ⋮ Principled Software Development ⋮ Extended dependency graphs and efficient distributed fixed-point computation ⋮ Refinement-Based Verification of Communicating Unstructured Code ⋮ Symbolic Analysis Tools for CSP ⋮ Unnamed Item ⋮ Translating between models of concurrency ⋮ Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving ⋮ Revisiting sequential composition in process calculi ⋮ Compositional and local livelock analysis for CSP ⋮ The symbiosis of concurrency and verification: teaching and case studies ⋮ The Automatic Detection of Token Structures and Invariants Using SAT Checking ⋮ Reducing complex CSP models to traces via priority ⋮ Computing maximal weak and other bisimulations ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ CSP and Kripke Structures ⋮ The expressiveness of CSP with priority ⋮ Discovering and correcting a deadlock in a channel implementation ⋮ FDR3 — A Modern Refinement Checker for CSP ⋮ Interactive verification of architectural design patterns in FACTum ⋮ Compositional verification of asynchronous concurrent systems using CADP
This page was built for software: FDR3
