Synthesizing, correcting and improving code, using model checking-based genetic programming
PRISM: A tool for automatic verification of probabilistic systems