Անցեք բովանդակությանը
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Լեզու
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Ցուցիչ
Գտեք
Ընդլայնված
Towards Symmetry Aware Refinem...
Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Արտահանել դեպի RefWorks
Արտահանել դեպի EndNoteWeb
Արտահանել դեպի EndNote
Մշտական հղում
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)
Prev
Հաջորդը
Նմանատիպ նյութեր
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)
