Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting.

Aleksandar S. Dimovski, Axel Legay

Browse the full FASE paper archive.