University of Minnesota
Software Engineering Center
/

You are here

David Owen

Recent Publications

On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate.

As software grows increasingly complex, verification becomes more and more challenging. Automatic verification by model checking has been effective in many domains including computer hardware design, networking, security and telecommunications protocols, automated control systems and others. Many realworld software models, however, are too large for the available tools. The difficulty--how to verify large systems--is fundamentally a search issue: the global state space representing all possible behaviors of a complex software system is exponential in size.