Towards Symmetry Aware Refinement Checking (Extended Abstract)

Towards Symmetry Aware Refinement Checking (Extended Abstract)

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Moffat, N, Goldsmith, M, Roscoe, B
Формат:	Conference item
Хэвлэсэн:	2007

Ижил төстэй зүйлс

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
-н: Moffat, N, зэрэг
Хэвлэсэн: (2008)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
-н: Moffat, N, зэрэг
Хэвлэсэн: (2008)

A representative function approach to symmetry exploitation for CSP refinement checking
-н: Moffat, N, зэрэг
Хэвлэсэн: (2008)

A representative function approach to symmetry exploitation for CSP refinement checking
-н: Moffat, N, зэрэг
Хэвлэсэн: (2008)

Policy Refinement Checking (extended abstract)
-н: Goldsmith, S
Хэвлэсэн: (2009)

Watchdog Transformations for Property−Oriented Model−Checking
-н: Goldsmith, M, зэрэг
Хэвлэсэн: (2003)

Watchdog transformations for property−oriented model−checking
-н: Goldsmith, M, зэрэг
Хэвлэсэн: (2003)

Refinement checking for privacy policies.
-н: Papanikolaou, N, зэрэг
Хэвлэсэн: (2012)

Refinement checking for privacy policies
-н: Papanikolaou, N, зэрэг
Хэвлэсэн: (2012)

Refinement Checking for Privacy Policies
-н: Goldsmith, S
Хэвлэсэн: (2011)

Refinement Checking for Privacy Policies
-н: Goldsmith, S
Хэвлэсэн: (2011)

Finitary refinement checks for infinitary specifications
-н: Roscoe, A
Хэвлэсэн: (2004)

Watchdog transformations for property−oriented model checking
-н: Roscoe, A, зэрэг
Хэвлэсэн: (2003)

Abstraction refinement for large scale model checking /
-н: 405051 Wang, Chao, зэрэг
Хэвлэсэн: (2006)

Assumption-commitment support for CSP model checking
-н: Moffat, N, зэрэг
Хэвлэсэн: (2008)

Assumption−Commitment Support for CSP Model Checking
-н: Moffat, N, зэрэг
Хэвлэсэн: (2006)

Assumption–Commitment Support for CSP Model Checking
-н: Moffat, N, зэрэг
Хэвлэсэн: (2008)

Assumption−Commitment Support for CSP Model Checking
-н: Moffat, N, зэрэг
Хэвлэсэн: (2008)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
-н: Adams, S
Хэвлэсэн: (2014)

The perfect ‘spy’ for model−checking cryptoprotocols
-н: Roscoe, A, зэрэг
Хэвлэсэн: (1997)

The perfect spy for model−checking crypto−protocols
-н: Roscoe, A, зэрэг
Хэвлэсэн: (1997)

A Proof Theory for Model Checking: An Extended Abstract
-н: Quentin Heath, зэрэг
Хэвлэсэн: (2017-01-01)

A type−directed abstraction refinement approach to higher−order model checking
-н: Ramsay, S, зэрэг
Хэвлэсэн: (2014)

On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem
-н: Lowe, G
Хэвлэсэн: (2004)

Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
-н: Ron van der Meyden
Хэвлэсэн: (2017-07-01)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
-н: R van der Meyden, зэрэг
Хэвлэсэн: (2016-06-01)

Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
-н: Roscoe, A, зэрэг
Хэвлэсэн: (1995)

Refined Probabilistic Abstraction
-н: Wachter, B
Хэвлэсэн: (2010)

Model Checking with Abstraction for Web Services
-н: Sharygina, N, зэрэг
Хэвлэсэн: (2007)

Symmetry reduction in CSP model checking
-н: Gibson-Robinson, T, зэрэг
Хэвлэсэн: (2019)

Towards nanoimprint lithography-aware layout design checking
-н: Boning, Duane S., зэрэг
Хэвлэсэн: (2010)

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
-н: Bernhard K. Aichernig, зэрэг
Хэвлэсэн: (2012-02-01)

ACSAR: Software Model Checking with Transfinite Refinement
-н: Seghir, M, зэрэг
Хэвлэсэн: (2007)

Approximation Refinement for Interpolation−Based Model Checking
-н: D'Silva, V, зэрэг
Хэвлэсэн: (2008)

Approximation Refinement for Interpolation−Based Model Checking
-н: D'Silva, V, зэрэг
Хэвлэсэн: (2008)

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking
-н: Christian Appold
Хэвлэсэн: (2010-06-01)

Modelling Ad−hoc Routing Protocols Using Game Search: Extended Abstract
-н: Zakiuddin, I, зэрэг
Хэвлэсэн: (2003)

Model−checking CSP
-н: A. W. Roscoe
Хэвлэсэн: (1994)

Verifying linearizability via optimized refinement checking
-н: Dong, Jin Song, зэрэг
Хэвлэсэн: (2013)

Correct and Efficient Antichain Algorithms for Refinement Checking
-н: Maurice Laveaux, зэрэг
Хэвлэсэн: (2021-02-01)