Exploring the twin peaks using probabilistic verification techniques.

Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee

Browse the full ICSE paper archive.