![Formal methods / Automata theory / Models of computation / SPIN model checker / Model checking / Promela / Formal verification / Büchi automaton / Linear temporal logic / Model checkers / Theoretical computer science / Applied mathematics Formal methods / Automata theory / Models of computation / SPIN model checker / Model checking / Promela / Formal verification / Büchi automaton / Linear temporal logic / Model checkers / Theoretical computer science / Applied mathematics](https://www.pdfsearch.io/img/22a7cfaffa489a0f79f9550e2fff1674.jpg)
| Document Date: 2008-06-30 15:34:28 Open Document File Size: 247,66 KBShare Result on Facebook
Company Bell Laboratories / / Currency USD / LTL / / / IndustryTerm asynchronous interleaving product / compression algorithm / reduction algorithm / large-scale industrial applications / hardware systems / depthfirst search / basic algorithms / go-back-n flow control protocol / classical algorithm / typical applications / earliest protocol verification systems / go-back-n sliding window protocol / leader election protocol / synchronous product / distributed algorithm / reduction algorithms / depth-first search / search starts / nested depth-first search / verification systems / nested depth-first search algorithm / translation algorithm / window flow control protocol / depth-first search algorithm / leader election algorithm / concurrent systems / built-in algorithm / asynchronous process systems / distributed software systems / State compression algorithm / intersection product / labeled transition systems / telephone exchanges / asynchronous software systems / flow control protocol / depthfirst search stack / exhaustive search / transition systems / search algorithm / software systems / model checking tools / / Organization US Federal Reserve / / Person Emerson / Murray Hill / Clarke / / Position leader / designer / correct process scheduler / / PublishedMedium IEEE TRANSACTIONS ON SOFTWARE ENGINEERING / / Technology design verification / reduction algorithms / basic algorithms / leader election protocol / 3 ALGORITHMS / search algorithm / Flow Control / finite state machine / classical algorithm / compression algorithm / built-in algorithm / go-back-n flow control protocol / translation algorithm / State compression algorithm / go-back-n sliding window protocol / simulation / operating system / leader election algorithm / reduction algorithm / flow control protocol / sliding window flow control protocol / /
SocialTag |