Poster accepted in RTSS 2016

Poster paper titled,"REVERT: Runtime Verification for Real Time Systems" accepted for IEEE Real-Time Systems Symposium (RTSS) conference. This is to be held in Porto, Portugal from November 29 - December 2, 2016. Authors are: Sangeeth K., Geoffrey Nellisen, David Pereira, and Rahul Purandare.

Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.