usenix_logo_notag_white
Sign In
Conferences
Attend
Registration Information
Registration Discounts
Grant Opportunities
Venue, Hotel, and Travel
Program
Technical Sessions
Activities
Poster Session and Reception
Work-in-Progress Reports (WiPs)
Participate
Call for Papers
Double-Blind Guidance
Author Response Advice
Call for Artifacts
Call for Posters and WiPs
Instructions for Presenters
Mentorship Program
Sponsors
Exhibitor Services
About
Conference Organizers
Past Conferences
Conference Policies
Code of Conduct
Questions
Gerard Holzmann
Linked Presentation:
Metis: File System Model Checking via Versatile Input and State Exploration
