« All Events

  • This event has passed.

Exploiting Abstract Interpretation for Model Checking Programs

February 25, 2019 @ 3:35 pm - 4:00 pm

Gilbert Pajela (CUNY Graduate Center),  Jordi Navarrette (CUNY Graduate Center), and Subash Shankar (CUNY Hunter College)

(slides)

Details

  • Date: February 25, 2019
  • Time:
    3:35 pm - 4:00 pm
  • Event Category:

Venue