Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking

Daniel Kroening‚ Edmund Clarke and Karen Yorav

Book Title
Proceedings of DAC 2003
ISBN
1−58113−688−9
Pages
368–371
Publisher
ACM Press
Year
2003

Links

See Also

Back to Top