1 - 25 of 4
| Title | Date | Type | Setname | ||
|---|---|---|---|---|---|
| 1 |
 |
Efficient, sound formal verification for analog/mixed-signal circuits | 2015-08 | Text | ir_etd |
| 2 |
 |
Extending Support for Floating-Points in the Boogie and Smack Software Verifiers | 2019 | Text | ir_htoa |
| 3 |
 |
Towards a verification technique for large synchronous circuits | 1992 | Text | ir_uspace |
| 4 |
 |
Verification and validation of a geomodel aimed at simulating wellbore completion via shaped-charge jet perforation of metal and penetration into sandstone | 2013 | Text | ir_etd |
1 - 25 of 4