University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Investigation of efficient binary decision diagram (BDD) heuristics for the modelling language of the PRISM model checker

Supervisor

Suitable for

Abstract

See http://www.prismmodelchecker.org/ for more information.