Abstraction, Decomposition, Relevance Coming to Grips with Complexity in Verification
Software Model Checking with SMT