www.prismmodelchecker.org
[BBM00] L. Benini, A Bogliolo and G. De Micheli. A survey of design techniques for system-level dynamic power management. IEEE Transactions on Very Large Scale Integration (TVLSI) Systems, 8(3). 2000. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications