First Page | Document Content | |
---|---|---|
Date: 2018-01-10 13:23:57Formal 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 2Add to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 245,47 KBShare Document on Facebook |