First Page | Document Content | |
---|---|---|
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 thatAdd to Reading ListSource URL: jorgenavas.github.ioDownload Document from Source WebsiteFile Size: 98,16 KBShare Document on Facebook |