Spatio-temporal model checking of vehicular movement in public transport systems.
Vincenzo CianciaStephen GilmoreGianluca GrillettiDiego LatellaMichele LoretiMieke MassinkPublished in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
- model checking
- transport systems
- spatio temporal
- temporal logic
- formal verification
- automated verification
- finite state
- model checker
- temporal properties
- formal specification
- partial order reduction
- verification method
- epistemic logic
- finite state machines
- symbolic model checking
- process algebra
- bounded model checking
- computation tree logic
- concurrent systems
- pspace complete
- image sequences
- timed automata
- deterministic finite automaton
- reachability analysis
- asynchronous circuits
- reactive systems
- route planning
- formal methods
- traffic flow
- moving objects
- alternating time temporal logic