@article{(Open Science Index):https://publications.waset.org/pdf/15100, title = {Calculus-based Runtime Verification}, author = {Xuan Qi and Changzhi Zhao}, country = {}, institution = {}, abstract = {In this paper, a uniform calculus-based approach for synthesizing monitors checking correctness properties specified by a large variety of logics at runtime is provided, including future and past time logics, interval logics, state machine and parameterized temporal logics. We present a calculus mechanism to synthesize monitors from the logical specification for the incremental analysis of execution traces during test and real run. The monitor detects both good and bad prefix of a particular kind, namely those that are informative for the property under investigation. We elaborate the procedure of calculus as monitors.}, journal = {International Journal of Computer and Information Engineering}, volume = {3}, number = {10}, year = {2009}, pages = {2369 - 2373}, ee = {https://publications.waset.org/pdf/15100}, url = {https://publications.waset.org/vol/34}, bibsource = {https://publications.waset.org/}, issn = {eISSN: 1307-6892}, publisher = {World Academy of Science, Engineering and Technology}, index = {Open Science Index 34, 2009}, }