Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures
Name: Ahmed Nassar Date: September 2, 2016 Time: 12:00 P.M. Location: EH 3403 Committee: Fadi Kurdahi (Chair), Rainer Doemer, Ahmed Eltawil Abstract: Post-Deployment runtime verification (RV) has recently emerged as […]