Documents ALICE MILLER DEPARTMENT OF COMPUTING SCIENCE UNIVERSITY OF GLASGOW Who says model checking doesn’t...

ALICE MILLER DEPARTMENT OF COMPUTING SCIENCE UNIVERSITY OF GLASGOW Who says model checking doesn’t find real problems? London Hoppers Outline An introduction to Model checking…

Documents Who says model checking doesn’t find real problems?

ALICE MILLER DEPARTMENT OF COMPUTING SCIENCE UNIVERSITY OF GLASGOW Who says model checking doesn’t find real problems? London Hoppers Outline An introduction to Model checking…