Skip to main content

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