Quick verification of concurrent programs by iteratively relaxed scheduling.
Patrick MetzlerHabib SaissiPéter BokorNeeraj SuriPublished in: ASE (2017)
Keyphrases
- concurrent programs
- process algebra
- grid workflow
- concurrent systems
- model checking
- asynchronous circuits
- formal specification
- formal methods
- scheduling problem
- temporal logic
- scheduling algorithm
- concurrent programming
- distributed systems
- communication protocols
- concurrent processes
- artificial intelligence
- optimal solution
- web services composition