FDR3 - A Modern Refinement Checker for CSP

No abstract is available for this paper.

• Publication year

  2014

• Venue

  International Conference on Tools and Algorithms for Construction and Analysis of Systems

• Publication date

  2014-04-05

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-54862-8_13
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model checking Timed CSP

  2014cited by this paper
• Memory Efficient Data Structures for Explicit Verification of Timed Systems

  2014cited by this paper
• DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs

  2013influential reference
• Theories of Programming and Formal Methods

  2013cited by this paper
• Slow Abstraction via Priority

  2013cited by this paper
• Parallelizing the Spin Model Checker

  2012cited by this paper
• Multi-Core LTSmin: Marrying Modularity and Scalability

  2011cited by this paper
• Understanding Concurrent Systems

  2010influential reference
• A work-efficient parallel breadth-first search algorithm (or how to cope with the nondeterminism of reducers)

  2010cited by this paper
• Boosting multi-core reachability performance with shared hash tables

  2010cited by this paper
• ACSAR: Software Model Checking with Transfinite Refinement

  2007cited by this paper
• SVA‚ a tool for analysing shared−variable programms

  2007cited by this paper
• The first 25 years

  2006cited by this paper
• Large-Scale Parallel Breadth-First Search

  2005cited by this paper
• Practical Application of CSP and FDR to Software Design

  2004cited by this paper
• The SPIN Model Checker - primer and reference manual

  2003cited by this paper
• Model-checking CSP-Z: strategy, tool support and industrial application

  2001cited by this paper
• Discrete analysis of continuous behaviour in real-time concurrent systems

  2000cited by this paper
• Discrete analysis of continuous behaviour in real-time concurrent systems

  2000cited by this paper
• Model-Checking CSP-OZ Specifications with FDR

  1999cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Casper: A compiler for the analysis of security protocols

  1997cited by this paper
• The Theory and Practice of Concurrency

  1997influential reference
• Model-checking CSP

  1994cited by this paper
• A Timed Model for Communicating Sequential Processes

  1986cited by this paper
• A really abstract concurrent model and its temporal logic

  1986cited by this paper

• A model-based approach for co-simulation-driven digital twins in robotics

  2026cites this paper
• Formal Evidence Generation for Assurance Cases for Robotic Software Models

  2026cites this paper
• Analysing Concurrent Queues Using CSP: Examining Java’s ConcurrentLinkedQueue

  2025cites this paper
• Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection

  2025cites this paper
• A Verification Methodology for Safety Assurance of Robotic Autonomous Systems

  2025cites this paper
• Diagrammatic physical robot models

  2025influential citation
• Varanus: Runtime Verification for CSP

  2025cites this paper
• Bridging Threat Models and Detections: Formal Verification via CADP

  2025cites this paper
• Combining sequential feature test cases to generate sound tests for concurrent features

  2025cites this paper
• Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)

  2025cites this paper
• PAT-Agent: Autoformalization for Model Checking

  2025cites this paper
• A Programming Model for Disaggregated Memory over CXL

  2024cites this paper
• The Quantum Abstract Machine

  2024cites this paper
• Combining Static and Dynamic Techniques for Refactoring Industrial FSMs in C++

  2024cites this paper
• User-Guided Verification of Security Protocols via Sound Animation

  2024cites this paper
• Formal Methods in Industry

  2024cites this paper
• Model Checking and Verification of Synchronisation Properties of Cobot Welding

  2024cites this paper
• Intel PMDK Transactions: Specification, Validation and Concurrency

  2024cites this paper
• Quantitative Assurance and Synthesis of Controllers from Activity Diagrams

  2024cites this paper
• Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL

  2024cites this paper
• DisQ: A Model of Distributed Quantum Processors

  2024cites this paper
• Normative Requirements Operationalization with Large Language Models

  2024cites this paper
• RoboCertProb: Property Specification for Probabilistic RoboChart Models

  2024cites this paper
• Verification of transaction-aware web services composition through formal methods

  2024cites this paper
• Laws of Timed State Machines

  2023cites this paper
• Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs

  2023influential citation
• Formally Verified Animation for RoboChart Using Interaction Trees

  2023cites this paper
• Verification-Driven Design for Asynchronous VLSI

  2023cites this paper
• Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving

  2023cites this paper
• A Formal Language for Actors’ Interactions

  2023cites this paper
• Toward Verifying Cooperatively Scheduled Runtimes Using CSP

  2023cites this paper
• The Consensus Machine: Formalising Consensus in the Presence of Malign Agents

  2023cites this paper
• RoboWorld: Verification of Robotic Systems with Environment in the Loop

  2023influential citation
• An Operational Approach to Library Abstraction under Relaxed Memory Concurrency

  2023cites this paper
• A Model-based Approach to the Development and Verification of Robotic Systems for Competitions

  2023cites this paper
• Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

  2023cites this paper
• Trace Refinement in B and Event-B

  2022cites this paper
• A Pattern-based deadlock-freedom analysis strategy for concurrent systems

  2022influential citation
• CSP specification and verification of relay-based railway interlocking systems

  2022cites this paper
• IVOIRE Deliverable 1.1: Classification of existing VOs&tools and Formalization of VOs semantics

  2022cites this paper
• Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review

  2022cites this paper
• Granular Content Distribution for IoT Remote Sensing Data Supporting Privacy Preservation

  2022influential citation
• Approximate verification of concurrent systems using token structures and invariants

  2022influential citation
• Simulation Relations and Applications in Formal Methods

  2022cites this paper
• Testing using CSP Models: Time, Inputs, and Outputs

  2022cites this paper
• RoboSimVer: A Tool for RoboSim Modeling and Analysis

  2022influential citation
• Modélisation et supervision d'applications robotiques interactives destinées au milieu culturel

  2022cites this paper
• Learning Assumptions for Verifying Cryptographic Protocols Compositionally

  2021cites this paper
• ProB2-UI: A Java-Based User Interface for ProB

  2021cites this paper
• Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements

  2021cites this paper
• Groovy Parallel Patterns: A Process oriented Parallelization Library

  2021cites this paper
• Checking Opacity and Durable Opacity with FDR

  2021cites this paper
• Visual Specification of Properties for Robotic Designs

  2021cites this paper
• RoboWorld: Where Can My Robot Work?

  2021cites this paper
• Safety assurance of an industrial robotic control system using hardware/software co-verification

  2021cites this paper
• MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest

  2021cites this paper
• SecureBallot: A secure open source e-Voting system

  2021cites this paper
• Probabilistic modelling and verification using RoboChart and PRISM

  2021influential citation
• Sound reasoning in tock-CSP

  2021influential citation
• CSP: A Practical Process Algebra

  2021influential citation
• Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL

  2021cites this paper
• SME: A High Productivity FPGA Tool for Software Programmers

  2021cites this paper
• Safety Assurance of a High Voltage Controller for an Industrial Robotic System

  2020cites this paper
• Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

  2020cites this paper
• Verifpal: Cryptographic Protocol Analysis for the Real World

  2020cites this paper
• From Secure to Usable and Verifiable Voting Schemes

  2020cites this paper
• NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

  2020cites this paper
• Security Analysis of Two Unbalancing Pairing-free Identity-based Authenticated Key Exchange Protocols

  2020cites this paper
• ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games

  2020cites this paper
• Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors

  2020cites this paper
• Model checking as a service: towards pragmatic hidden formal methods

  2020cites this paper
• Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

  2020cites this paper
• A refinement checking based strategy for component-based systems evolution

  2020influential citation
• Heterogeneous Verification of an Autonomous Curiosity Rover

  2020cites this paper
• Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

  2020cites this paper
• A Framework for Formal Verification of Security Protocols in C++

  2020cites this paper
• RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing

  2020influential citation
• Offline Runtime Verification of Safety Requirements using CSP

  2020cites this paper
• Inputs and Outputs in CSP

  2020cites this paper
• Inputs and outputs in CSP: a model and a testing theory

  2020cites this paper
• Translating between models of concurrency

  2019cites this paper
• Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

  2019cites this paper
• Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving

  2019cites this paper
• Finite complete suites for CSP refinement testing

  2019cites this paper
• Computing Coupled Similarity

  2019cites this paper
• Synthesis of coordination programs from linear temporal specifications

  2019cites this paper
• Verified simulation for robotics

  2019influential citation
• Modelling and Analysing Software in mCRL2

  2019cites this paper
• SCJ-Circus: Specification and refinement of Safety-Critical Java programs

  2019cites this paper
• Lightweight formalisation of adaptive middleware

  2019cites this paper
• Formal Verification of Authentication and Confidentiality for TACACS+ Security Protocol using Scyther

  2019influential citation
• Verifying Deadlock and Nondeterminism in Activity Diagrams

  2019cites this paper
• Unbalancing Pairing-Free Identity-Based Authenticated Key Exchange Protocols for Disaster Scenarios

  2019cites this paper
• Test case generation, selection and coverage from natural language

  2019cites this paper
• A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP

  2019cites this paper
• RoboChart: modelling and verification of the functional behaviour of robotic applications

  2019cites this paper
• Fault-based refinement-testing for CSP

  2019influential citation
• Verifpal: Cryptographic Protocol Analysis for Students and Engineers

  2019influential citation
• Testing Robots Using CSP

  2019cites this paper
• Correct and Efficient Antichain Algorithms for Refinement Checking

  2019cites this paper