ALICE MILLER DEPARTMENT OF COMPUTING SCIENCE UNIVERSITY OF GLASGOW Who says model checking doesn’t find real problems?
Who says model checking doesn’t find real problems?