![Mathematical logic / Mathematics / Science / Metalogic / Kripke structure / Well-formed formula / Symbolic trajectory evaluation / Linear temporal logic / Logic / Model checking / Temporal logic Mathematical logic / Mathematics / Science / Metalogic / Kripke structure / Well-formed formula / Symbolic trajectory evaluation / Linear temporal logic / Logic / Model checking / Temporal logic](https://www.pdfsearch.io/img/43e55b52cbc3c8251ea93ba9c5c67d2d.jpg)
| Document Date: 2007-08-04 08:21:38 Open Document File Size: 413,49 KBShare Result on Facebook
IndustryTerm reactive systems / communication protocols / non finite state systems / / OperatingSystem Xp / / Organization Technion / / Person Orna Grumberg Technion / / Technology communication protocols / /
SocialTag |