FDR2

swMATH11466MaRDI QIDQ23408FDOQ23408

Author name not available (Why is that?)

Cited In (45)

• Enabling synchronous and asynchronous communications in CSP for SOC
• A Relative Timed Semantics for BPMN
• Specifying termination in CSP
• Title not available (Why is that?)
• Formalization of an architectural model for exception handling coordination based on CA action concepts
• Unifying Theories of Undefinedness in UTP
• Formalisations and applications of BPMN
• Compositional state space reduction using untangled actions
• Tools and Algorithms for the Construction and Analysis of Systems
• Source code verification of a secure payment applet
• Property specifications for workflow modelling
• Verification of \(\mathrm{EB}^3\) specifications using CADP
• Model Checking LTL Formulae in RAISE with FDR
• A CSP model with flexible parallel termination semantics
• Compositional CSP Traces Refinement Checking
• On Refinement-Closed Security Properties and Nondeterministic Compositions
• Using data-independence in the analysis of intrusion detection systems
• Refinement checking for privacy policies
• SAT-solving in CSP trace refinement
• Refactoring Object-Oriented Specifications with Data and Processes
• Symbolic Analysis Tools for CSP
• Planning proofs of equations in CCS
• Revivals, stuckness and the hierarchy of CSP models
• On using data abstractions for model checking refinements
• On the diversity of asynchronous communication
• Revisiting sequential composition in process calculi
• Assumption-Commitment Support for CSP Model Checking
• FDR explorer
• Model transformations across views
• Test generation from state based use case models
• Rigorous development of component-based systems using component metadata and patterns
• Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS.
• Integrating a formal method into a software engineering process with UML and Java
• Efficient symbolic computation of process expressions
• The behavioural semantics of Event-B refinement
• On the Decidability of the Safety Problem for Access Control Policies
• Multiple Synchrony in MSC
• Conformance notions for the coordination of interaction components
• Simulating Truly Concurrent CSP
• Property Specifications for Workflow Modelling
• CSP with Hierarchical State
• Information flow in systems with schedulers. II: Refinement
• On the limits of refinement-testing for model-checking CSP
• Process algebras as specification language (work in progress)
• Directed Model Checking for B: An Evaluation and New Techniques

This page was built for software: FDR2