Counterexample-guided precondition inference
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...
Egile Nagusiak: | Seghir, M, Kroening, D |
---|---|
Beste egile batzuk: | Felleisen, M |
Formatua: | Conference item |
Argitaratua: |
Springer
2013
|
Antzeko izenburuak
-
Counterexample−guided Precondition Inference
nork: Seghir, M, et al.
Argitaratua: (2013) -
Counterexample Guided Abstraction Refinement via Program Execution
nork: Groce, A, et al.
Argitaratua: (2004) -
Counterexample-guided abstraction refinement for symmetric concurrent programs
nork: Donaldson, A, et al.
Argitaratua: (2012) -
Counterexample guided inductive synthesis modulo theories
nork: Abate, A, et al.
Argitaratua: (2018) -
VCEGAR: Verilog CounterExample Guided Abstraction Refinement
nork: Jain, H, et al.
Argitaratua: (2007)