David Anthony Parker

• Implementation of symbolic model checking for probabilistic systems