Surfer Model Checking

Technical/Research Track
When: Thursday, May 26 1:45PM
Location: Coral Ballroom 4
Chair: Matt Dwyer
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, and Axel Legay
Lucas Cordeiro and Bernd Fischer
Antonio Filieri, Carlo Ghezzi, and Giordano Tamburrelli