On verifying C++ programs with probabilities.

Jiri Barnat, Ivana Cern, Petr Rockai, Vladimr Still, Kristna Zkopcanov

Browse the full SAC paper archive.