Publisher: Springer; 2014 edition (September 23, 2014)
Format: PDF / Kindle / ePub
Size: 7.1 MB
Downloadable formats: PDF
This e-book constitutes the refereed court cases of the fifth overseas convention on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised complete papers awarded including 2 instrument papers, and 8short papers have been rigorously reviewed and chosen from 70 submissions. The scope of the convention used to be on following issues: tracking and hint cutting, runtime verification of dispensed and concurrent platforms, runtime Verification of real-time and embedded platforms, checking out and insect discovering, and inference and studying.