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…
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…