On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem

On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem

Bibliographic Details
Main Author:	Lowe, G
Format:	Conference item
Published:	2004

Similar Items

Counterexample Guided Abstraction Refinement via Program Execution
by: Groce, A, et al.
Published: (2004)

VCEGAR: Verilog CounterExample Guided Abstraction Refinement
by: Jain, H, et al.
Published: (2007)

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
by: Janota, M, et al.
Published: (2010)

Counterexample-guided abstraction refinement for symmetric concurrent programs
by: Donaldson, A, et al.
Published: (2012)

Generating Counterexamples for Model Checking by Transformation
by: G. W. Hamilton
Published: (2016-07-01)

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
by: Makai Mann, et al.
Published: (2022-08-01)

Counterexample-Preserving Reduction for Symbolic Model Checking
by: Wanwei Liu, et al.
Published: (2014-01-01)

Counterexamples with Loops for Predicate Abstraction
by: Kroening, D, et al.
Published: (2006)

Oeritte: User-Friendly Counterexample Explanation for Model Checking
by: Polina Ovsiannikova, et al.
Published: (2021-01-01)

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

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

Counterexample−guided Precondition Inference
by: Seghir, M, et al.
Published: (2013)

Counterexample-guided precondition inference
by: Seghir, M, et al.
Published: (2013)

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

Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems
by: Yang Liu, et al.
Published: (2021-08-01)

A Parametric Counterexample Refinement Approach for Robust Timed Specifications
by: Louis-Marie Traonouez
Published: (2012-07-01)

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

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

Counterexample-Guided Safety Contracts for Autonomous Driving
by: DeCastro, Jonathan, et al.
Published: (2020)

Counterexample guided inductive synthesis modulo theories
by: Abate, A, et al.
Published: (2018)

Multi-Modal Convolutional Parameterisation Network for Guided Image Inverse Problems
by: Mikolaj Czerkawski, et al.
Published: (2024-03-01)

Counterexamples in probability /
by: 411864 Stoyanov, Jordan M.
Published: (1997)

Counterexamples in topology /
by: Steen, Lynn Arthur, 1941-, et al.
Published: (1978)

Counterexamples in analysis /
by: 201017 Gelbaum, Bernard R., et al.
Published: (1964)

Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
by: Ron van der Meyden
Published: (2017-07-01)

On counterexamples to the Hughes conjecture
by: Havas, G, et al.
Published: (2009)

Abstraction Refinement Guided by a Learnt Probabilistic Model
by: Yang, H, et al.
Published: (2016)

Abstraction refinement guided by a learnt probabilistic model
by: Grigore, R, et al.
Published: (2016)

Independently parameterised momenta variables and Monte Carlo IR subtraction
by: Peter Cox, et al.
Published: (2018-12-01)

Counterexample guided inductive optimization based on satisfiability modulo theories
by: Araújo, R, et al.
Published: (2017)

OptCE: A counterexample-guided inductive optimization solver
by: Albuquerque, H, et al.
Published: (2017)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
by: Konstantin Chukharev, et al.
Published: (2020-01-01)

Understanding Counterexamples with explain
by: Groce, A, et al.
Published: (2004)

Theorems and counterexamples in mathemamatics /
by: 201017 Gelbaum, Bernard R., et al.
Published: (1990)

Counterexamples in self-testing
by: Laura Mančinska, et al.
Published: (2023-07-01)

Counterexamples for Noise Models of Stochastic Gradients
by: Vivak Patel
Published: (2023-12-01)

Parameterised linearizability
by: Yang, H, et al.
Published: (2014)

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

Topology Inspired Problems for Cellular Automata, and a Counterexample in Topology
by: Ville Salo, et al.
Published: (2012-08-01)

Counterexample guided inductive optimization applied to mobile robots path planning
by: Araújo, R, et al.
Published: (2017)