A Note on Digitization of Real-Time Models and Logics
Logic in Computer Science
2018-06-26 v1
Abstract
Digitization provides a sound and complete method to reduce the problem of verifying whether a real-time system satisfies a property under dense-time semantics to whether the same real-time system satisfies the property over discrete-time. This is a brief overview of digitization of real-time models and logics covering known results, value, limitations, and alternatives.
Cite
@article{arxiv.1806.08920,
title = {A Note on Digitization of Real-Time Models and Logics},
author = {Janardan Misra},
journal= {arXiv preprint arXiv:1806.08920},
year = {2018}
}