![Model checking / Academia / Knowledge / Logic / Formal methods / Temporal logic / Mathematical logic / Formal verification / Rajeev Alur / Formal sciences / Model checkers / Science Model checking / Academia / Knowledge / Logic / Formal methods / Temporal logic / Mathematical logic / Formal verification / Rajeev Alur / Formal sciences / Model checkers / Science](https://www.pdfsearch.io/img/6f822d19c45b3d5aeb29787ee9da6a6b.jpg)
| Open Document File Size: 180,89 KBShare Result on Facebook
Company RealTime Systems / / IndustryTerm car crash / formal verification tools / real-time embedded systems / time-robust real-time systems / real-time systems / model checking algorithms / / Organization Mathematics and Natural Sciences DEPARTMENT / Faculty of Mathematics / Philosophiae Doctor FACULTY / / Person Olaf Owe / Erika Ábrahám / Maude specifications / Formal Methods / Peter Csaba Ølveczky / Daniela Lepri / / Position Model / / Technology model checking algorithms / /
SocialTag |