The Evolution of Symbolic Model Checking Ken McMillan Cadence Berkeley Labs.
Hawaii Z z Z Explain to your Talk Partner or group why the bottled exploded. Maybe a diagram would help?
Volcanoes
Volcanoes. What do you know about volcanoes? What would you like to know?