ACSAR: Software Model Checking with Transfinite Refinement

ACSAR: Software Model Checking with Transfinite Refinement

Bibliographic Details
Main Authors:	Seghir, M, Podelski, A
Format:	Conference item
Published:	2007

Similar Items

Abstraction Refinement for Quantified Array Assertions
by: Seghir, M, et al.
Published: (2009)

Transfinitely transitive value
by: Kowalczyk, K
Published: (2021)

George Cantor : the battle for transfinite set theory /
by: Dauben, Joseph Warren, 1944-
Published: (1989)

Directed Model Checking with Distance−Preserving Abstractions
by: Dräger, K, et al.
Published: (2006)

Directed model checking with distance−preserving abstractions
by: Dräger, K, et al.
Published: (2009)

An Assume Guarantee Approach for Checking Quantified Array Assertions
by: Seghir, M
Published: (2010)

Refinement checking for privacy policies.
by: Papanikolaou, N, et al.
Published: (2012)

Refinement checking for privacy policies
by: Papanikolaou, N, et al.
Published: (2012)

Approximation Refinement for Interpolation−Based Model Checking
by: D'Silva, V, et al.
Published: (2008)

Approximation Refinement for Interpolation−Based Model Checking
by: D'Silva, V, et al.
Published: (2008)

Refinement Checking for Privacy Policies
by: Goldsmith, S
Published: (2011)

Refinement Checking for Privacy Policies
by: Goldsmith, S
Published: (2011)

Abstraction refinement for large scale model checking /
by: 405051 Wang, Chao, et al.
Published: (2006)

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

Policy Refinement Checking (extended abstract)
by: Goldsmith, S
Published: (2009)

Verifying linearizability via optimized refinement checking
by: Dong, Jin Song, et al.
Published: (2013)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
by: Adams, S
Published: (2014)

Parallel assignments in software model checking
by: Ouaknine, J
Published: (2006)

Model checking software architecture design
by: Zhang, Jiexin, et al.
Published: (2013)

Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking
by: Kupferschmid, S, et al.
Published: (2007)

On the cloud−enabled refinement checking of railway signalling interlockings
by: Simpson, A, et al.
Published: (2014)

Towards Symmetry Aware Refinement Checking (Extended Abstract)
by: Moffat, N, et al.
Published: (2007)

Formalizing and checking thread refinement for data-race-free execution models
by: Poetzl, D, et al.
Published: (2016)

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
by: Kroening, D, et al.
Published: (2016)

Incremental bounded model checking for embedded software
by: Schrammel, P, et al.
Published: (2017)

Software development by refinement
by: Pavlovic, D, et al.
Published: (2003)

Integration of a Software Model Checker into Isabelle
by: Daum, M, et al.
Published: (2005)

More effective interpolations in software model checking
by: Tian, C, et al.
Published: (2017)

A type−directed abstraction refinement approach to higher−order model checking
by: Ramsay, S, et al.
Published: (2014)

Anti-chain based algorithms for timed/probabilistic refinement checking
by: Wang, Ting, et al.
Published: (2020)

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

Abstraction Refinement for Probabilistic Software
by: Kwiatkowska, G, et al.
Published: (2009)

Systems and software verification : model-checking techniques and tools /
by: Berard, Beatrice
Published: (2001)

On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem
by: Lowe, G
Published: (2004)

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

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

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

Partial orders for efficient bounded model checking of concurrent software
by: Alglave, J, et al.
Published: (2013)

Static Analysis to Enhance the Power of Model Checking for Concurrent Software
by: Clarke, E, et al.
Published: (2007)

On Specification Carrying Software‚ its Refinement and Composition
by: Anlauff, M, et al.
Published: (2002)