Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Verification of SpecC and Verilog using Predicate Abstraction

Verification of SpecC and Verilog using Predicate Abstraction

Himanshu Jain‚ Edmund Clarke and Daniel Kroening

Book Title
Proceedings of MEMOCODE 2004
ISBN
0−7803−8509−8
Pages
7–16
Publisher
IEEE
Year
2004

Links

See Also

Back to Top