Conference
SMT-based Deductive Verification of Device Drivers using the Pancake-to-Viper Transpiler
| Τίτλος: | SMT-based Deductive Verification of Device Drivers using the Pancake-to-Viper Transpiler |
|---|---|
| Συγγραφείς: | Tyler, Samuel, Legnani, Alessandro, Zhao, Junming, Shen, Zhewen, Wu, Rihui, Tanaka, Miki, Heiser, Gernot |
| Πηγή: | Proceedings of the 14th Workshop on Programming Languages and Operating Systems. :103-111 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3831586.3838153 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3831586.3838153 |
|---|