Verification and Falsification of Programs with Loops Using Predicate Abstraction
Main Authors: | Kroening, D, Weissenbacher, G |
---|---|
Format: | Journal article |
Published: |
2009
|
Similar Items
-
Verification and falsification of programs with loops using predicate abstraction.
by: Kroening, D, et al.
Published: (2010) -
Counterexamples with Loops for Predicate Abstraction
by: Kroening, D, et al.
Published: (2006) -
Verification of SpecC using Predicate Abstraction
by: Clarke, E, et al.
Published: (2007) -
Verification of SpecC using predicate abstraction.
by: Clarke, E, et al.
Published: (2007) -
Verification of SpecC and Verilog using Predicate Abstraction
by: Jain, H, et al.
Published: (2004)