Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule.
Daniel BujosaSergi ArguimbauPatricia ArguimbauJulián ProenzaManuel BarrancoPublished in: ETFA (2019)
Keyphrases
- formal verification
- model checking
- bounded model checking
- scheduling problem
- model checker
- automated verification
- symbolic model checking
- network traffic
- traffic flow
- program slicing
- road network
- traffic congestion
- traffic management
- mechanism design
- formal specification
- scheduling algorithm
- origin destination
- software development
- programming language
- expert systems