Policy Refinement Checking (extended abstract)

Policy Refinement Checking (extended abstract)

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Goldsmith, S
Формат:	Conference item
Хэвлэсэн:	2009

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

Towards Symmetry Aware Refinement Checking (Extended Abstract)
-н: Moffat, N, зэрэг
Хэвлэсэн: (2007)

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

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

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

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

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

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

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)

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)

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)

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

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

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

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

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

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

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

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

Abstraction Refinement for Probabilistic Software
-н: Kwiatkowska, G, зэрэг
Хэвлэсэн: (2009)

Abstraction and refinement in protocol derivation
-н: Datta, A, зэрэг
Хэвлэсэн: (2004)

On the cloud−enabled refinement checking of railway signalling interlockings
-н: Simpson, A, зэрэг
Хэвлэсэн: (2014)

Directed model checking with distance−preserving abstractions
-н: Dräger, K, зэрэг
Хэвлэсэн: (2009)

Extended Abstracts
Хэвлэсэн: (1977-01-01)

Extended Abstract
-н: John Maher, зэрэг
Хэвлэсэн: (2016-05-01)

Extended Abstracts
Хэвлэсэн: (2017-08-01)

extend abstracts
Хэвлэсэн: (2018-12-01)

EXTENDED ABSTRACT
Хэвлэсэн: (2016-03-01)

Extended Abstract
-н: reza valizadeh
Хэвлэсэн: (2015-12-01)

Extended Abstract
-н: reza valizadeh
Хэвлэсэн: (2016-04-01)

Directed Model Checking with Distance−Preserving Abstractions
-н: Dräger, K, зэрэг
Хэвлэсэн: (2006)

Abstracting Strings for Model Checking of C Programs
-н: Henrich Lauko, зэрэг
Хэвлэсэн: (2020-11-01)

A Modelling Approach for Interdependency in Digital Systems−of−Systems Security − Extended Abstract
-н: Adetoye, A, зэрэг
Хэвлэсэн: (2010)

Strengthening properties using abstraction refinement
-н: Purandare, M, зэрэг
Хэвлэсэн: (2009)

Abstraction Refinement for Quantified Array Assertions
-н: Seghir, M, зэрэг
Хэвлэсэн: (2009)