FDR2
From MaRDI portal
Software:23408
No author found.
Related Items (45)
Verification of \(\mathrm{EB}^3\) specifications using CADP ⋮ Source code verification of a secure payment applet ⋮ Unifying Theories of Undefinedness in UTP ⋮ On the diversity of asynchronous communication ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Rigorous development of component-based systems using component metadata and patterns ⋮ Efficient symbolic computation of process expressions ⋮ Symbolic Analysis Tools for CSP ⋮ On using data abstractions for model checking refinements ⋮ Information flow in systems with schedulers. II: Refinement ⋮ Revisiting sequential composition in process calculi ⋮ Specifying termination in CSP ⋮ On the limits of refinement-testing for model-checking CSP ⋮ SAT-solving in CSP trace refinement ⋮ Refinement checking for privacy policies ⋮ Directed Model Checking for B: An Evaluation and New Techniques ⋮ Simulating Truly Concurrent CSP ⋮ Unnamed Item ⋮ Enabling synchronous and asynchronous communications in CSP for SOC ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS. ⋮ Formalization of an architectural model for exception handling coordination based on CA action concepts ⋮ Conformance notions for the coordination of interaction components ⋮ Formalisations and applications of BPMN ⋮ Property specifications for workflow modelling ⋮ 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 ⋮ Refactoring Object-Oriented Specifications with Data and Processes ⋮ Model transformations across views ⋮ Using data-independence in the analysis of intrusion detection systems ⋮ Property Specifications for Workflow Modelling ⋮ CSP with Hierarchical State ⋮ Model Checking LTL Formulae in RAISE with FDR ⋮ Test generation from state based use case models ⋮ The behavioural semantics of Event-B refinement ⋮ Revivals, stuckness and the hierarchy of CSP models ⋮ FDR explorer ⋮ A CSP model with flexible parallel termination semantics ⋮ Planning proofs of equations in CCS ⋮ Compositional State Space Reduction Using Untangled Actions ⋮ Unnamed Item
This page was built for software: FDR2
