Upcoming Decoding Formal Club Event Monday April 21
What: Decoding Formal Club event, “Formal Testplanning”
Where: Computer History Museum, Mountain View
When: Monday, April 21 from 10:00 AM – 2:00 PM
Please complete the form below to register. Those new to formal verification are most welcome. Limited space is available and registration is required, so don’t delay!
Welcome & Overview
Part 1: Oski presentation “Formal Test Planning”
Lunch (registration required)
Part 2: Panel on “How to Build a Productive Formal Team”
Computer History Museum Tour (self-guided, starts 1:00 PM)
Please subscribe to our newsletter to receive notice of future Decoding Formal Club meetings.