![Temporal logic / Model checkers / Mathematics / Model checking / Linear temporal logic / Computation tree logic / PAT / Bisimulation / Probabilistic bisimulation / Theoretical computer science / Logic in computer science / Applied mathematics Temporal logic / Model checkers / Mathematics / Model checking / Linear temporal logic / Computation tree logic / PAT / Bisimulation / Probabilistic bisimulation / Theoretical computer science / Logic in computer science / Applied mathematics](https://www.pdfsearch.io/img/1b178774eb1a10d743b847c51a9cb5f4.jpg)
| Document Date: 2008-04-04 05:03:58 Open Document File Size: 87,64 KBShare Result on Facebook
City Automata / / Company Encoding Transition Systems / Modelling Concurrent Systems / Probabilistic Systems / / Currency LTL / / Event Man-Made Disaster / / Technology 7.3 Bisimulation-Quotienting Algorithms / ROBDD-Based Algorithms / 7.6 Simulation-Quotienting Algorithms / 4.1 Basic Algorithm / TCTL Model-Checking Algorithm / Simulation / /
SocialTag |