![Logic / Logic in computer science / Linear temporal logic / Model checkers / Model checking / Computation tree logic / Stable model semantics / Modal logic / SPIN model checker / Temporal logic / Theoretical computer science / Mathematical logic Logic / Logic in computer science / Linear temporal logic / Model checkers / Model checking / Computation tree logic / Stable model semantics / Modal logic / SPIN model checker / Temporal logic / Theoretical computer science / Mathematical logic](https://www.pdfsearch.io/img/08f8e21e7a9d50446a4636e268f97c7f.jpg)
| Document Date: 2011-07-05 08:44:48 Open Document File Size: 491,85 KBShare Result on Facebook
Company Toby Walsh (Eds.) IOS Press / CNF / IOS Press / / IndustryTerm reactive systems / model checking algorithm / related applications / synchronous systems / / Person Hans van Maaren / / ProgrammingLanguage Verilog / / Technology model checking algorithm / Verilog / /
SocialTag |