HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams.

Felipe Gorostiaga, Csar Snchez

Browse the full FM paper archive.