Model checking and abstraction: A framework preserving both truth and failure information (0)

by P Kelb