Towards a Logic for Inferring Properties of Event Streams? Sean Kauffman1 , Rajeev Joshi2 , and Klaus Havelund2 1 2

First Page		Document Content
Date: 2018-01-10 13:23:57 Formal methods Logic in computer science Temporal logic Runtime verification		Towards a Logic for Inferring Properties of Event Streams? Sean Kauffman1 , Rajeev Joshi2 , and Klaus Havelund2 1 2 Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 245,47 KB Share Document on Facebook