![Formal methods / Applied mathematics / Model checking / Animal communication / Neuroethology / Waggle dance / Random walk / SPIN model checker / Linear temporal logic / Automata theory / Mathematics / Models of computation Formal methods / Applied mathematics / Model checking / Animal communication / Neuroethology / Waggle dance / Random walk / SPIN model checker / Linear temporal logic / Automata theory / Mathematics / Models of computation](https://www.pdfsearch.io/img/eed0d536ae07b627db15b1474f2bc910.jpg) Date: 2013-08-14 13:37:54Formal methods Applied mathematics Model checking Animal communication Neuroethology Waggle dance Random walk SPIN model checker Linear temporal logic Automata theory Mathematics Models of computation | | 1 Abstract. Recent advances in parallel model checking for liveness properties achieve significant capacity increases over sequential model checkers. However, the capacity of parallel model checkers is in turn limited bAdd to Reading ListSource URL: people.cs.clemson.eduDownload Document from Source Website File Size: 258,02 KBShare Document on Facebook
|