This page shows all presentations of this author published in EasyChair Smart Slide.
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, Tim Nelson and Shriram Krishnamurthi
CompoSAT: Specification-Guided Coverage for Model Finding
Sorawee Porncharoenwase, Tim Nelson and Shriram Krishnamurthi