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