News and Announcements
Our paper on runtime verification of blockchain/cross-chain protocol using the metric temporal logic accepted to the IEEE ICDCS 2022 conference.
Our paper on probabilistic hyperproperties with rewards is accepted by the 2022 NASA Formal Methods Conference
TART PhD students Tzu-Han Hsu and Oyendrila Dobe will join Amazon AWS for summer internships.
TART members Prof. Bonakdarpour and PhD student Anik Momtaz receive the Best Paper Award from the RV 2021 conference.
TART PhD student Tzu-Han Hsu gets nominated by MSU as one of the only 4 PhD students for Google PhD Fellowships.
