YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).
Liangze YinWei DongWanwei LiuYunchou LiJi WangPublished in: TACAS (2) (2018)
Keyphrases
- scheduling problem
- scheduling algorithm
- high level
- round robin
- resource allocation
- constraint satisfaction
- data abstraction
- project scheduling
- manufacturing cell
- refinement process
- scheduling strategy
- database
- dynamic scheduling
- flexible manufacturing systems
- flow control
- production planning
- low level
- special case
- website
- genetic algorithm
- data sets
- real time