Back to Results
First PageMeta Content
Algorithm / 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 List

Document Date: 2018-04-25 11:34:42


Open Document

File Size: 98,16 KB

Share Result on Facebook
UPDATE