On Model Checking Data−independent Systems with Arrays without Reset

On Model Checking Data−independent Systems with Arrays without Reset

Show other versions (1)

Bibliographic Details
Main Authors:	Roscoe, A, Lazic, R, Newcomb, T
Format:	Journal article
Published:	2004

Similar Items

On Model Checking Data−independent Systems with Arrays without Reset
by: Roscoe, A, et al.
Published: (2001)

On Model checking data−independent systems with arrays with whole−array operations
by: Roscoe, A, et al.
Published: (2005)

Model checking data-independent systems with arrays
by: Newcomb, T, et al.
Published: (2003)

What can you Decide about Resetable Arrays?
by: Roscoe, A, et al.
Published: (2001)

Polymorphic systems with arrays: decidability and undecidability
by: Roscoe, A, et al.
Published: (2003)

Polymorphic Systems with Arrays‚ 2−Counter Machines and Multiset Rewriting
by: Roscoe, A, et al.
Published: (2004)

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption
by: Roscoe, A, et al.
Published: (2004)

Data independence with predicate symbols
by: Roscoe, A, et al.
Published: (1999)

Verifying Determinism of Concurrent Systems Which Use Unbounded Arrays
by: Roscoe, A, et al.
Published: (1998)

Model−checking CSP
by: A. W. Roscoe
Published: (1994)

Translating CSP trace refinement to UNITY unreachability : a study in data independence
by: Roscoe, A, et al.
Published: (2015)

Nets with Tokens Which Carry Data
by: Roscoe, A, et al.
Published: (2007)

Nets with Tokens which Carry Data
by: Lazic, R, et al.
Published: (2008)

Nets with tokens which carry data
by: Lazić, R, et al.
Published: (2008)

To reset, or not to reset—that is the question
by: György P. Gehér, et al.
Published: (2025-03-01)

Local search in model checking
by: Roscoe, P, et al.
Published: (2009)

Local Search in Model Checking
by: Roscoe, A, et al.
Published: (2009)

The perfect ‘spy’ for model−checking cryptoprotocols
by: Roscoe, A, et al.
Published: (1997)

The perfect spy for model−checking crypto−protocols
by: Roscoe, A, et al.
Published: (1997)

Model checking Timed CSP
by: Armstrong, P, et al.
Published: (2012)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
by: Roscoe, A, et al.
Published: (1995)

Proving security protocols with model checkers by data independence techniques
by: Roscoe, A
Published: (1998)

Finitary refinement checks for infinitary specifications
by: Roscoe, A
Published: (2004)

Model checking cryptographic protocols subject to combinatorial attack.
by: Roscoe, T, et al.
Published: (2011)

Phase resetting in medicine and biology : stochastic modelling and data analysis /
by: 300209 Tass, Peter A.
Published: (2007)

Resetting Uncontrolled Quantum Systems
by: Miguel Navascués
Published: (2018-07-01)

Efficient deadlock freedom checking using local analysis and SAT checking
by: Antonio, P, et al.
Published: (2016)

Model checking cryptographic protocols subject to combinatorial attack
by: Roscoe, A, et al.
Published: (2012)

Ising model with stochastic resetting
by: Matteo Magoni, et al.
Published: (2020-08-01)

Checking noninterference in Timed CSP
by: Roscoe, A, et al.
Published: (2013)

Checking noninterference in the timed world
by: Roscoe, A, et al.
Published: (2013)

Proving security protocols with model checkers by data independence techniques
by: Roscoe, A, et al.
Published: (1999)

Watchdog transformations for property−oriented model checking
by: Roscoe, A, et al.
Published: (2003)

Reset Control of Parallel MISO Systems
by: José Francisco Sáez, et al.
Published: (2021-08-01)

Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
by: Roscoe, A, et al.
Published: (1995)

Automating Data Independence
by: Broadfoot, P, et al.
Published: (2000)

Automating Data Independence
by: Roscoe, A, et al.
Published: (2000)

Watchdog Transformations for Property−Oriented Model−Checking
by: Goldsmith, M, et al.
Published: (2003)

Watchdog transformations for property−oriented model−checking
by: Goldsmith, M, et al.
Published: (2003)

Data independent induction over structured networks
by: Roscoe, A, et al.
Published: (2000)