Counterexample-guided precondition inference

Counterexample-guided precondition inference

他のバージョン（1件）を表示する

The precondition for an assertion inside a procedure is useful for understanding, verifying and debugging programs. As the procedure might be used in multiple calling-contexts within a program, the precondition should be sufficiently general to enable re-use. We present an extension of counterexampl...

書誌詳細
主要な著者:	Seghir, M, Kroening, D
その他の著者:	Felleisen, M
フォーマット:	Conference item
出版事項:	Springer 2013

類似資料

Counterexample−guided Precondition Inference
著者:: Seghir, M, 等
出版事項: (2013)

Counterexample Guided Abstraction Refinement via Program Execution
著者:: Groce, A, 等
出版事項: (2004)

Counterexample-guided abstraction refinement for symmetric concurrent programs
著者:: Donaldson, A, 等
出版事項: (2012)

Counterexample guided inductive synthesis modulo theories
著者:: Abate, A, 等
出版事項: (2018)

VCEGAR: Verilog CounterExample Guided Abstraction Refinement
著者:: Jain, H, 等
出版事項: (2007)

Understanding Counterexamples with explain
著者:: Groce, A, 等
出版事項: (2004)

Making the most of BMC counterexamples
著者:: Groce, A, 等
出版事項: (2005)

Making the Most of BMC Counterexamples
著者:: Groce, A, 等
出版事項: (2005)

Counterexamples with Loops for Predicate Abstraction
著者:: Kroening, D, 等
出版事項: (2006)

Under-approximating loops in C programs for fast counterexample detection
著者:: Kroening, D, 等
出版事項: (2013)

Under-approximating loops in C programs for fast counterexample detection
著者:: Kroening, D, 等
出版事項: (2015)

DSValidator: an automated counterexample reproducibility tool for digital systems
著者:: Chaves, L, 等
出版事項: (2018)

Counterexample-Guided Safety Contracts for Autonomous Driving
著者:: DeCastro, Jonathan, 等
出版事項: (2020)

Counterexamples in probability /
著者:: 411864 Stoyanov, Jordan M.
出版事項: (1997)

Counterexamples in analysis /
著者:: 201017 Gelbaum, Bernard R., 等
出版事項: (1964)

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
著者:: Janota, M, 等
出版事項: (2010)

Counterexamples in topology /
著者:: Steen, Lynn Arthur, 1941-, 等
出版事項: (1978)

Counterexample guided inductive optimization based on satisfiability modulo theories
著者:: Araújo, R, 等
出版事項: (2017)

On counterexamples to the Hughes conjecture
著者:: Havas, G, 等
出版事項: (2009)

Theorems and counterexamples in mathemamatics /
著者:: 201017 Gelbaum, Bernard R., 等
出版事項: (1990)

OptCE: A counterexample-guided inductive optimization solver
著者:: Albuquerque, H, 等
出版事項: (2017)

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
著者:: Makai Mann, 等
出版事項: (2022-08-01)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
著者:: Konstantin Chukharev, 等
出版事項: (2020-01-01)

Counterexamples in self-testing
著者:: Laura Mančinska, 等
出版事項: (2023-07-01)

Necessary and Sufficient Preconditions via Eager Abstraction
著者:: Seghir, M, 等
出版事項: (2014)

Counterexample guided inductive optimization applied to mobile robots path planning
著者:: Araújo, R, 等
出版事項: (2017)

A counterexample to metric differentiability
著者:: Kirchheim, B, 等
出版事項: (2003)

Examples and counterexamples in graph theory /
著者:: 400749 Capobianco, Michael
出版事項: (1978)

Minimum counterexamples in group theory /
著者:: 357122 Sheila Ilangovan, 等
出版事項: (2004)

Minimum counterexamples in group theory /
著者:: 615523 Nor Haniza Sarmin, 等
出版事項: (2004)

Counterexamples for your calculus course
著者:: Jürgen Appell, 等
出版事項: (2025-06-01)

An Examination of Counterexamples in Proofs and Refutations
著者:: Samet Bağçe, 等
出版事項: (2009-10-01)

Counterexamples to the Maximum Force Conjecture
著者:: Aden Jowsey, 等
出版事項: (2021-10-01)

The Breakdown Point — Examples and Counterexamples
著者:: P.L. Davies, 等
出版事項: (2007-03-01)

Dialectica Interpretation with Marked Counterexamples
著者:: Trifon Trifonov
出版事項: (2011-01-01)

High-level Counterexamples for Probabilistic Automata
著者:: Ralf Wimmer, 等
出版事項: (2015-03-01)

A counterexample to a conjecture of Schwartz
著者:: Brandt, F, 等
出版事項: (2013)

A counterexample to a conjecture of Schwartz
著者:: Brandt, F, 等
出版事項: (2012)

A numerical study of Witsenhausen's Counterexample
著者:: Romvary, Jordan (Jordan Joseph)
出版事項: (2015)

Counterexample computation in compositional nonblocking verification
著者:: Malik, Robi, 等
出版事項: (2018)