![](/img/cover-not-exists.png)
[ACM Press the 27th ACM Symposium - Huntsville, Ontario, Canada (2019.10.27-2019.10.30)] Proceedings of the 27th ACM Symposium on Operating Systems Principles - SOSP '19 - Scaling symbolic evaluation for automated verification of systems code with Serval
Nelson, Luke, Bornholt, James, Gu, Ronghui, Baumann, Andrew, Torlak, Emina, Wang, XiYear:
2019
Language:
english
DOI:
10.1145/3341301.3359641
File:
PDF, 1.74 MB
english, 2019