Model Checking Real-Time Systems

By Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, J. Worrell. Handbook of Model Checking, 2018

569 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/7d9ae2e5bb3fe1aa98be5ecaf20b2c613639535d