83 followers
Testing for race conditions in distributed systems via smt solving https://t.co/OFEbOlVdqX
Testing for race conditions in distributed systems via smt solving https://t.co/OFEbOlVdqX
Testing for race conditions in distributed systems via smt solving https://t.co/NfmaYvcFKx
In this spring and summer, we wrote two papers on deductive verification of binary code against source-code-level specifications: one was published in #TAP 2020; the other was presented at #SYRCoSE 2020. Here are the links: https://t.co/PDSRxqiXP6 https:/