Wednesday, April 15, 2020 1:00 pm
-
1:00 pm
EDT (GMT -04:00)
Candidate: Bo Yang
Topic: Bounded Model Checking with Techniques from Symbolic Trajectory Evaluation
Date: April 15, 2020
Time: 1:00 PM
Place: REMOTE PARTICIPATION
Supervisor(s): Aagaard, Mark