Partial Order Verification Methods of Finate-State Concurrent Systems in Hardware and Software
Program
Fulbright Visiting Scholar Program
Grant Activity Type
Research
Dates
-
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Partial Order Verification Methods of Finate-State Concurrent Systems in Hardware and Software
Scholar Information
Title
Associate Professor
Department
Faculty of Computer Science
Host Institutions
Faculty
Dr. Edmund M. Clarke
Host Department
Department of Computer Science