Formal Verification of a Grid Resource Allocation Protocol.
Mathias DalheimerFranz-Josef PfreundtPeter MerzPublished in: CCGRID (2008)
Keyphrases
- resource allocation
- formal verification
- coloured petri nets
- model checker
- grid environment
- model checking
- grid computing environment
- grid services
- resource management
- symbolic model checking
- grid resource
- automated verification
- grid computing
- bounded model checking
- temporal logic
- grid systems
- resource allocation problems
- combinatorial auctions
- allocation strategies
- allocate resources
- allocation problems
- resource requirements
- resource providers
- resource usage
- optimal resource allocation
- resource sharing
- scarce resources
- formal specification
- sealed bid auctions
- market equilibrium
- distributed resource allocation
- cooperative
- resource allocation decisions
- resource availability
- description language
- cloud computing
- distributed systems