Name Card

Full name Familienname, Vorname
Vardi, Moshe
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rozier-2023-Developing an Open-Source, State-of-the-Art Symbolic Model-Ch...-vor.pdf.jpgRozier, Kristin Yvonne ; Shankar, Natarajan ; Tinelli, Cesare ; Vardi, Moshe Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research CommunityKonferenzbeitrag Inproceedings Oct-2023
210_Runtime Verification on FPGAs with LTLf Specifications.pdf.jpgTracy II, Tommy ; Tabajara, Lucas M. ; Vardi, Moshe ; Skadron, Kevin Runtime Verification on FPGAs with LTLf SpecificationsKonferenzbeitrag Inproceedings 2020