Automatic Checking of Aggregation Abstractions Through State Enumeration.

Seungjoon Park, Satyaki Das, David L. Dill

Browse the full FORTE paper archive.