TO
Filters: Collection: "ir_htoa" Subject: "Boogie's"
1 - 200 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Machado, Liam | Extending Support for Floating-Points in the Boogie and Smack Software Verifiers | Software verification, which aims to prove critical properties about programs using rigorous formal methods based on logic, is an active area of research in the field of computer science. In particular, the veri#12;cation of floating-points is a topic of paramount importance, given their ubiquity ac... | Boogie's; verification; floating- point | 2019 |
1 - 200 of 1