Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity.

Bai Su, Wenhui Zhang

Browse the full ATVA paper archive.