Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Bibliografiske detaljer
Main Authors:	Goldsmith, M, Zakiuddin, I
Format:	Conference item
Udgivet:	Springer Berlin/Heidelberg 1999

Lignende værker

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

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

Verifying Statemate Statecharts Using CSP and FDR
af: Roscoe, A, et al.
Udgivet: (2006)

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

Modelling and verifying key−exchange protocols using CSP and FDR
af: Roscoe, A
Udgivet: (1995)

Compiling Statemate Statecharts into CSP and verifying them using FDR
af: Roscoe, A
Udgivet: (2003)

Parallelization of FDR
af: Goldsmith, M, et al.
Udgivet: (2002)

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

Inside FDR (abstract of invited talk)
af: Goldsmith, M
Udgivet: (2012)

Recent developments in FDR
af: Armstrong, P, et al.
Udgivet: (2012)

Recent developments in FDR
af: Armstrong, P, et al.
Udgivet: (2012)

Recent developments in FDR
af: Armstrong, P, et al.
Udgivet: (2012)

Recent Developments in FDR
af: Armstrong, P, et al.
Udgivet: (2012)

FDR2 user manual
af: Gardiner, P, et al.
Udgivet: (2000)

Calculation of Critical Values for Somerville's FDR Procedures
af: Paul N. Somerville
Udgivet: (2007-04-01)

FDR into The Cloud
af: Gibson−Robinson, T, et al.
Udgivet: (2014)

Taking quotients in CSP
af: Goldsmith, M
Udgivet: (2006)

Filtering, FDR and power
af: van Iterson Maarten, et al.
Udgivet: (2010-09-01)

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

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

Classifying unbounded nondeterminism in CSP
af: Barrett, G, et al.
Udgivet: (1991)

The γγ decay of the Higgs boson in FDR
af: Donati Alice M., et al.
Udgivet: (2013-11-01)

Beyond Mobility: What Next After CSP/π
af: Goldsmith, M
Udgivet: (2009)

Distributed Sensor Network-Based Virtual FDR System
af: Kwang-Ho Seok, et al.
Udgivet: (2013-11-01)

Assumption-commitment support for CSP model checking
af: Moffat, N, et al.
Udgivet: (2008)

Assumption−Commitment Support for CSP Model Checking
af: Moffat, N, et al.
Udgivet: (2006)

Assumption–Commitment Support for CSP Model Checking
af: Moffat, N, et al.
Udgivet: (2008)

Assumption−Commitment Support for CSP Model Checking
af: Moffat, N, et al.
Udgivet: (2008)

Fedor Danilovich Ryzhenko – our FDR
af: A. A. Аhtamzian, et al.
Udgivet: (2012-10-01)

Formal Verification of Behavioral AADL Models by Stateful Timed CSP
af: Feng Zhang, et al.
Udgivet: (2017-01-01)

Implementing Data−Independence: Symbolic Operational Semantics for CSP_M
af: Goldsmith, M, et al.
Udgivet: (2002)

Faster FDR Counterexample Generation Using SAT−Solving
af: Palikareva, H, et al.
Udgivet: (2009)

FDR ECH2O sensor performance in Spodosols
af: Ceres Duarte Guedes Cabral de Almeida, et al.
Udgivet: (2018-10-01)

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

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

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

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

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

American Messiahs: The Narrative Strategies of FDR and Reagan, 1933 and 1981
af: Theo Zenou
Udgivet: (2020-06-01)

Advances in the Study of the Behavior of Full-Depth Reclamation (FDR) with Cement
af: Hernán Gonzalo-Orden, et al.
Udgivet: (2019-07-01)