GitHub repository: pgarus97/Fixpoint_Evaluator
Primary language: Java
Description: A tool to support the computation of expectations in probabilistic programs.