Verification and Falsification of Programs with Loops Using Predicate Abstraction

Παρόμοια τεκμήρια

• Verification and falsification of programs with loops using predicate abstraction.
  ανά: Kroening, D, κ.ά.
  Έκδοση: (2010)
• Counterexamples with Loops for Predicate Abstraction
  ανά: Kroening, D, κ.ά.
  Έκδοση: (2006)
• Verification of SpecC using Predicate Abstraction
  ανά: Clarke, E, κ.ά.
  Έκδοση: (2007)
• Verification of SpecC using predicate abstraction.
  ανά: Clarke, E, κ.ά.
  Έκδοση: (2007)
• Verification of SpecC and Verilog using Predicate Abstraction
  ανά: Jain, H, κ.ά.
  Έκδοση: (2004)