Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Predicate Abstraction of ANSI–C Programs using SAT

Predicate Abstraction of ANSI–C Programs using SAT

Edmund Clarke‚ Daniel Kroening‚ Natasha Sharygina and Karen Yorav

Journal
Formal Methods in System Design (FMSD)
Month
September–November
Pages
105–127
Volume
25
Year
2004

Links

See Also

Back to Top