Verification of parametric concurrent systems with prioritised FIFO resource management.
Ahmed BouajjaniPeter HabermehlTomás VojnarPublished in: Formal Methods Syst. Des. (2008)
Keyphrases
- concurrent systems
- resource management
- temporal logic
- management system
- resource allocation
- model checking
- distributed systems
- process algebra
- formal specification
- computing resources
- quality of service
- petri net
- power control
- grid computing
- resource utilization
- admission control
- resource usage
- intelligent agents
- soft constraints
- artificial intelligence
- production system
- data flow
- computational intelligence
- artificial neural networks
- data transfer
- machine learning
- real time