An efficient simulation algorithm based on abstract interpretation