Seol mar théacs é seo: Abstract interpretation and partition refinement for model checking /