Formal verification of distributed dynamic thermal management.
Muhammad IsmailOsman HasanThomas EbiMuhammad ShafiqueJörg HenkelPublished in: ICCAD (2013)
Keyphrases
- formal verification
- model checking
- dynamically created
- distributed systems
- configuration management
- model checker
- management system
- infrared
- decision support
- symbolic model checking
- information management
- temporal logic
- scalable distributed
- automated verification
- graph theory
- virtual organization
- data management
- bounded model checking
- decision making