www.prismmodelchecker.org
[BBPM99] L. Benini, A. Bogliolo, G. Paleologo and G. De Micheli. Policy optimization for dynamic power management. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 8(3), pages 299-316. 2000. [bib]
Downloads:  bib bib

Publications