Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Model Checking Recursive Programs with Numeric Data Types

Model Checking Recursive Programs with Numeric Data Types

Matthew Hague and Anthony Widjaja Lin

Book Title
Computer Aided Verification (CAV)
Note
Prototypical implementation: [tgz] [txz].
Year
2011

Links

See Also

Back to Top