Sort by
Refine Your Search
-
of control software, and reuse efforts from earlier stages as much as possible. On-the-fly Synthesis and Verification: We develop techniques for the online verification and synthesis of controllers
Searches related to software verification phd
Enter an email to receive alerts for software-verification-phd positions