High-level frameworks for the specification and verification of scheduling problems.
Mounir ChadliJin Hyun KimKim G. LarsenAxel LegayStefan NaujokatBernhard SteffenLouis-Marie TraonouezPublished in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
- high level
- scheduling problem
- formal verification
- low level
- asynchronous circuits
- model checking
- single machine
- protocol specification
- formal methods
- job shop scheduling
- np hard
- setup times
- sequencing problems
- processing times
- flowshop
- low level features
- conceptual model
- job shop
- signature verification
- source code
- tabu search
- precedence constraints
- higher level
- earliness tardiness
- job shop scheduling problem
- face verification
- programming language
- knowledge level
- verification method
- parallel machines
- lower level
- functional verification
- list scheduling