Accelerated Runtime Verification of LTL Specifications with Counting Semantics

Title Accelerated Runtime Verification of LTL Specifications with Counting Semantics
Author
Ramy Medhat
Borzoo Bonakdarpour
Sebastian Fischmeister
Yogi Joshi
Year of Publication
2016
Conference Name
International Conference on Runtime Verification
Conference Location
Madrid, Spain
DOI
10.1007/978-3-319-46982-9_16
Download citation