Exploiting monotonicity and symmetry for efficient simulation of highly dependable systems.

Hoang Hai Nguyen, Kartik Palani, David M. Nicol

Browse the full DSN paper archive.