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

Podrobná bibliografie
Hlavní autor:	Lowe, G
Médium:	Conference item
Vydáno:	2004

Podobné jednotky

Counterexample Guided Abstraction Refinement via Program Execution
Autor: Groce, A, a další
Vydáno: (2004)

VCEGAR: Verilog CounterExample Guided Abstraction Refinement
Autor: Jain, H, a další
Vydáno: (2007)

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Autor: Janota, M, a další
Vydáno: (2010)

Counterexample-guided abstraction refinement for symmetric concurrent programs
Autor: Donaldson, A, a další
Vydáno: (2012)

Generating Counterexamples for Model Checking by Transformation
Autor: G. W. Hamilton
Vydáno: (2016-07-01)

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
Autor: Makai Mann, a další
Vydáno: (2022-08-01)

Counterexample-Preserving Reduction for Symbolic Model Checking
Autor: Wanwei Liu, a další
Vydáno: (2014-01-01)

Counterexamples with Loops for Predicate Abstraction
Autor: Kroening, D, a další
Vydáno: (2006)

Oeritte: User-Friendly Counterexample Explanation for Model Checking
Autor: Polina Ovsiannikova, a další
Vydáno: (2021-01-01)

Abstraction refinement for large scale model checking /
Autor: 405051 Wang, Chao, a další
Vydáno: (2006)

Policy Refinement Checking (extended abstract)
Autor: Goldsmith, S
Vydáno: (2009)

Counterexample−guided Precondition Inference
Autor: Seghir, M, a další
Vydáno: (2013)

Counterexample-guided precondition inference
Autor: Seghir, M, a další
Vydáno: (2013)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
Autor: Adams, S
Vydáno: (2014)

Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems
Autor: Yang Liu, a další
Vydáno: (2021-08-01)

A Parametric Counterexample Refinement Approach for Robust Timed Specifications
Autor: Louis-Marie Traonouez
Vydáno: (2012-07-01)

Towards Symmetry Aware Refinement Checking (Extended Abstract)
Autor: Moffat, N, a další
Vydáno: (2007)

A type−directed abstraction refinement approach to higher−order model checking
Autor: Ramsay, S, a další
Vydáno: (2014)

Counterexample-Guided Safety Contracts for Autonomous Driving
Autor: DeCastro, Jonathan, a další
Vydáno: (2020)

Counterexample guided inductive synthesis modulo theories
Autor: Abate, A, a další
Vydáno: (2018)

Multi-Modal Convolutional Parameterisation Network for Guided Image Inverse Problems
Autor: Mikolaj Czerkawski, a další
Vydáno: (2024-03-01)

Counterexamples in probability /
Autor: 411864 Stoyanov, Jordan M.
Vydáno: (1997)

Counterexamples in topology /
Autor: Steen, Lynn Arthur, 1941-, a další
Vydáno: (1978)

Counterexamples in analysis /
Autor: 201017 Gelbaum, Bernard R., a další
Vydáno: (1964)

Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
Autor: Ron van der Meyden
Vydáno: (2017-07-01)

On counterexamples to the Hughes conjecture
Autor: Havas, G, a další
Vydáno: (2009)

Abstraction Refinement Guided by a Learnt Probabilistic Model
Autor: Yang, H, a další
Vydáno: (2016)

Abstraction refinement guided by a learnt probabilistic model
Autor: Grigore, R, a další
Vydáno: (2016)

Independently parameterised momenta variables and Monte Carlo IR subtraction
Autor: Peter Cox, a další
Vydáno: (2018-12-01)

Counterexample guided inductive optimization based on satisfiability modulo theories
Autor: Araújo, R, a další
Vydáno: (2017)

OptCE: A counterexample-guided inductive optimization solver
Autor: Albuquerque, H, a další
Vydáno: (2017)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
Autor: Konstantin Chukharev, a další
Vydáno: (2020-01-01)

Understanding Counterexamples with explain
Autor: Groce, A, a další
Vydáno: (2004)

Theorems and counterexamples in mathemamatics /
Autor: 201017 Gelbaum, Bernard R., a další
Vydáno: (1990)

Counterexamples in self-testing
Autor: Laura Mančinska, a další
Vydáno: (2023-07-01)

Counterexamples for Noise Models of Stochastic Gradients
Autor: Vivak Patel
Vydáno: (2023-12-01)

Parameterised linearizability
Autor: Yang, H, a další
Vydáno: (2014)

Model checking data-independent systems with arrays
Autor: Newcomb, T, a další
Vydáno: (2003)

Topology Inspired Problems for Cellular Automata, and a Counterexample in Topology
Autor: Ville Salo, a další
Vydáno: (2012-08-01)

Counterexample guided inductive optimization applied to mobile robots path planning
Autor: Araújo, R, a další
Vydáno: (2017)