@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},