![Algorithm / Mathematical logic / Theoretical computer science / IP / Model checking / Mathematics / Machine learning Algorithm / Mathematical logic / Theoretical computer science / IP / Model checking / Mathematics / Machine learning](https://www.pdfsearch.io/img/d7a89a9473a3fb5ccc7bd37b559f5870.jpg) Date: 2018-10-25 12:43:22Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning | | Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading ListSource URL: jorgenavas.github.ioDownload Document from Source Website File Size: 98,16 KBShare Document on Facebook
|