Modularity for decidability of deductive verification with applications to distributed systems.
| Autor: | Taube, Marcelo, Losa, Giuliano, McMillan, Kenneth L., Padon, Oded, Sagiv, Mooly, Shoham, Sharon, Wilcox, James R., Woos, Doug |
|---|---|
| Zdroj: | ACM / SIGPLAN Notices; Apr2018, Vol. 53 Issue 4, p662-677, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|