FDR2
From MaRDI portal
Cited in
(81)- Revivals, stuckness and the hierarchy of CSP models
- FDR explorer
- A CSP model with flexible parallel termination semantics
- CLPS-B
- SYNTHESIS
- Alloy
- GeneSyst
- rCOS
- LOTOS
- JACK
- CZT
- AnZenMail
- Reo
- Planning proofs of equations in CCS
- Casper
- Source code verification of a secure payment applet
- COWS
- Fiacre
- ProB
- STG
- On the limits of refinement-testing for model-checking CSP
- csp2B
- Alcoa
- PlusCal
- Z/EVES
- Z
- Model transformations across views
- CSP-prover
- Efficient symbolic computation of process expressions
- fc2tools
- FDR3
- Integrating a formal method into a software engineering process with UML and Java
- JViews
- Snort
- MAGIC
- SOFA 2.0
- ProBE
- Verification of \(\mathrm{EB}^3\) specifications using CADP
- Process algebras as specification language (work in progress)
- Compositional state space reduction using untangled actions
- BESERIAL
- PACC starter kit
- Symbolic analysis tools for CSP
- Directed Model Checking for B: An Evaluation and New Techniques
- Simulating truly concurrent CSP
- Overture Tool
- On the diversity of asynchronous communication
- CARMA
- SCEL
- Rigorous development of component-based systems using component metadata and patterns
- Circus
- Unifying theories of undefinedness in UTP
- Property Specifications for Workflow Modelling
- CSP with Hierarchical State
- Model Checking LTL Formulae in RAISE with FDR
- Information flow in systems with schedulers. II: Refinement
- Specifying termination in CSP
- SAT-solving in CSP trace refinement
- Refinement checking for privacy policies
- TGV
- Behavioral constraints for visual models
- On refinement-closed security properties and nondeterministic compositions
- Compositional CSP traces refinement checking
- On the decidability of the safety problem for access control policies
- Assumption-commitment support for CSP model checking
- A relative timed semantics for BPMN
- Multiple synchrony in MSC
- Enabling synchronous and asynchronous communications in CSP for SOC
- Formalisations and applications of BPMN
- Refactoring Object-Oriented Specifications with Data and Processes
- On process-algebraic verification of asynchronous circuits
- Property specifications for workflow modelling
- Using data-independence in the analysis of intrusion detection systems
- Tools and Algorithms for the Construction and Analysis of Systems
- PerformERL
- Test generation from state based use case models
- The behavioural semantics of Event-B refinement
- On using data abstractions for model checking refinements
- Revisiting sequential composition in process calculi
- Formalization of an architectural model for exception handling coordination based on CA action concepts
- Conformance notions for the coordination of interaction components
This page was built for software: FDR2
