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

Detaylı Bibliyografya
Yazar:	Lowe, G
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	2004

Benzer Materyaller

Counterexample Guided Abstraction Refinement via Program Execution
Yazar:: Groce, A, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

VCEGAR: Verilog CounterExample Guided Abstraction Refinement
Yazar:: Jain, H, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Yazar:: Janota, M, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Counterexample-guided abstraction refinement for symmetric concurrent programs
Yazar:: Donaldson, A, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Generating Counterexamples for Model Checking by Transformation
Yazar:: G. W. Hamilton
Baskı/Yayın Bilgisi: (2016-07-01)

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
Yazar:: Makai Mann, ve diğerleri
Baskı/Yayın Bilgisi: (2022-08-01)

Counterexample-Preserving Reduction for Symbolic Model Checking
Yazar:: Wanwei Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)

Counterexamples with Loops for Predicate Abstraction
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Oeritte: User-Friendly Counterexample Explanation for Model Checking
Yazar:: Polina Ovsiannikova, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Abstraction refinement for large scale model checking /
Yazar:: 405051 Wang, Chao, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Policy Refinement Checking (extended abstract)
Yazar:: Goldsmith, S
Baskı/Yayın Bilgisi: (2009)

Counterexample−guided Precondition Inference
Yazar:: Seghir, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Counterexample-guided precondition inference
Yazar:: Seghir, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
Yazar:: Adams, S
Baskı/Yayın Bilgisi: (2014)

Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems
Yazar:: Yang Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2021-08-01)

A Parametric Counterexample Refinement Approach for Robust Timed Specifications
Yazar:: Louis-Marie Traonouez
Baskı/Yayın Bilgisi: (2012-07-01)

Towards Symmetry Aware Refinement Checking (Extended Abstract)
Yazar:: Moffat, N, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

A type−directed abstraction refinement approach to higher−order model checking
Yazar:: Ramsay, S, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Counterexample-Guided Safety Contracts for Autonomous Driving
Yazar:: DeCastro, Jonathan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Counterexample guided inductive synthesis modulo theories
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Multi-Modal Convolutional Parameterisation Network for Guided Image Inverse Problems
Yazar:: Mikolaj Czerkawski, ve diğerleri
Baskı/Yayın Bilgisi: (2024-03-01)

Counterexamples in probability /
Yazar:: 411864 Stoyanov, Jordan M.
Baskı/Yayın Bilgisi: (1997)

Counterexamples in topology /
Yazar:: Steen, Lynn Arthur, 1941-, ve diğerleri
Baskı/Yayın Bilgisi: (1978)

Counterexamples in analysis /
Yazar:: 201017 Gelbaum, Bernard R., ve diğerleri
Baskı/Yayın Bilgisi: (1964)

Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
Yazar:: Ron van der Meyden
Baskı/Yayın Bilgisi: (2017-07-01)

On counterexamples to the Hughes conjecture
Yazar:: Havas, G, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Abstraction Refinement Guided by a Learnt Probabilistic Model
Yazar:: Yang, H, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Abstraction refinement guided by a learnt probabilistic model
Yazar:: Grigore, R, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Independently parameterised momenta variables and Monte Carlo IR subtraction
Yazar:: Peter Cox, ve diğerleri
Baskı/Yayın Bilgisi: (2018-12-01)

Counterexample guided inductive optimization based on satisfiability modulo theories
Yazar:: Araújo, R, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

OptCE: A counterexample-guided inductive optimization solver
Yazar:: Albuquerque, H, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
Yazar:: Konstantin Chukharev, ve diğerleri
Baskı/Yayın Bilgisi: (2020-01-01)

Understanding Counterexamples with explain
Yazar:: Groce, A, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Theorems and counterexamples in mathemamatics /
Yazar:: 201017 Gelbaum, Bernard R., ve diğerleri
Baskı/Yayın Bilgisi: (1990)

Counterexamples in self-testing
Yazar:: Laura Mančinska, ve diğerleri
Baskı/Yayın Bilgisi: (2023-07-01)

Counterexamples for Noise Models of Stochastic Gradients
Yazar:: Vivak Patel
Baskı/Yayın Bilgisi: (2023-12-01)

Parameterised linearizability
Yazar:: Yang, H, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Model checking data-independent systems with arrays
Yazar:: Newcomb, T, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Topology Inspired Problems for Cellular Automata, and a Counterexample in Topology
Yazar:: Ville Salo, ve diğerleri
Baskı/Yayın Bilgisi: (2012-08-01)

Counterexample guided inductive optimization applied to mobile robots path planning
Yazar:: Araújo, R, ve diğerleri
Baskı/Yayın Bilgisi: (2017)