Model Checking Large-Scale and Parameterized Resource Allocation Systems.
E. Allen EmersonVineet KahlonPublished in: TACAS (2002)
Keyphrases
- resource allocation
- model checking
- automated verification
- temporal logic
- finite state machines
- formal methods
- asynchronous circuits
- distributed systems
- model checker
- formal verification
- timed automata
- reactive systems
- formal specification
- resource allocation problems
- computation tree logic
- artifact centric
- resource usage
- optimal resource allocation
- symbolic model checking
- concurrent systems
- transition systems
- game theory
- verification method
- bounded model checking
- scarce resources
- temporal properties
- pspace complete
- allocation problems
- decision making
- resource allocation decisions
- resource allocation and scheduling