Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Bibliografische gegevens
Hoofdauteurs:	Goldsmith, M, Zakiuddin, I
Formaat:	Conference item
Gepubliceerd in:	Springer Berlin/Heidelberg 1999

Gelijkaardige items

Counter abstraction in the CSP/FDR setting
door: Mazur, T, et al.
Gepubliceerd in: (2009)

Counter Abstraction in the CSP/FDR setting
door: Mazur, T, et al.
Gepubliceerd in: (2007)

Verifying Statemate Statecharts Using CSP and FDR
door: Roscoe, A, et al.
Gepubliceerd in: (2006)

FDR3 — A Modern Refinement Checker for CSP
door: Gibson−Robinson, T, et al.
Gepubliceerd in: (2014)

Parallelization of FDR
door: Goldsmith, M, et al.
Gepubliceerd in: (2002)

Modelling and verifying key−exchange protocols using CSP and FDR
door: Roscoe, A
Gepubliceerd in: (1995)

Compiling Statemate Statecharts into CSP and verifying them using FDR
door: Roscoe, A
Gepubliceerd in: (2003)

Empirical analysis and optimization of an NP−hard problem using CSP and FDR
door: Creager, D, et al.
Gepubliceerd in: (2007)

Inside FDR (abstract of invited talk)
door: Goldsmith, M
Gepubliceerd in: (2012)

Recent developments in FDR
door: Armstrong, P, et al.
Gepubliceerd in: (2012)

Recent developments in FDR
door: Armstrong, P, et al.
Gepubliceerd in: (2012)

Recent developments in FDR
door: Armstrong, P, et al.
Gepubliceerd in: (2012)

Recent Developments in FDR
door: Armstrong, P, et al.
Gepubliceerd in: (2012)

FDR2 user manual
door: Gardiner, P, et al.
Gepubliceerd in: (2000)

FDR into The Cloud
door: Gibson−Robinson, T, et al.
Gepubliceerd in: (2014)

Taking quotients in CSP
door: Goldsmith, M
Gepubliceerd in: (2006)

CSP: The Best Concurrent−System Description Language in the World−Probably!
door: Goldsmith, M
Gepubliceerd in: (2004)

The Meaning and Implementation of SKIP in CSP
door: Gibson−Robinson, T, et al.
Gepubliceerd in: (2013)

Classifying unbounded nondeterminism in CSP
door: Barrett, G, et al.
Gepubliceerd in: (1991)

Faster FDR Counterexample Generation Using SAT−Solving
door: Palikareva, H, et al.
Gepubliceerd in: (2009)

Beyond Mobility: What Next After CSP/π
door: Goldsmith, M
Gepubliceerd in: (2009)

Assumption-commitment support for CSP model checking
door: Moffat, N, et al.
Gepubliceerd in: (2008)

Assumption−Commitment Support for CSP Model Checking
door: Moffat, N, et al.
Gepubliceerd in: (2006)

Assumption–Commitment Support for CSP Model Checking
door: Moffat, N, et al.
Gepubliceerd in: (2008)

Assumption−Commitment Support for CSP Model Checking
door: Moffat, N, et al.
Gepubliceerd in: (2008)

Analyzing a Library of Security Protocols using Casper and FDR
door: Donovan, B, et al.
Gepubliceerd in: (1999)

Implementing Data−Independence: Symbolic Operational Semantics for CSP_M
door: Goldsmith, M, et al.
Gepubliceerd in: (2002)

Boosting Event Building Performance using Infiniband FDR for the CMS Upgrade
door: FORREST, Andrew Kevin, et al.
Gepubliceerd in: (2021)

Verifying an infinite family of inductions simultaneously using data independence and FDR
door: Roscoe, A, et al.
Gepubliceerd in: (1999)

Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
door: Lowe, G
Gepubliceerd in: (1996)

Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
door: Lowe, G
Gepubliceerd in: (1996)

Web Services Security: a preliminary study using Casper and FDR
door: Roscoe, A, et al.
Gepubliceerd in: (2004)

Formal verification of safety-critical hybrid systems
door: Livadas, Carolos
Gepubliceerd in: (2008)

Formal Verification of Safety-Critical Hybrid Systems
door: Livadas, Carolos
Gepubliceerd in: (2023)

Tutorial: Verification and Validation for Magnetic Fusion
door: Greenwald, M.
Gepubliceerd in: (2015)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
door: Moffat, N, et al.
Gepubliceerd in: (2008)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
door: Moffat, N, et al.
Gepubliceerd in: (2008)

A representative function approach to symmetry exploitation for CSP refinement checking
door: Moffat, N, et al.
Gepubliceerd in: (2008)

A representative function approach to symmetry exploitation for CSP refinement checking
door: Moffat, N, et al.
Gepubliceerd in: (2008)

PV1 model verification and validation
door: Fuller, Frank H., et al.
Gepubliceerd in: (2011)