Model checking based service delivery planning.
Andrei SoeanuSujoy RayMourad DebbabiJean BergerAbdeslem BoukhtoutaAhmed GhanmiPublished in: CCECE (2012)
Keyphrases
- model checking
- service delivery
- symbolic model checking
- temporal logic
- planning domains
- e government
- end to end
- temporally extended goals
- model checker
- life cycle
- formal verification
- temporal properties
- formal specification
- automated verification
- finite state
- web services
- epistemic logic
- computation tree logic
- transition systems
- public sector
- timed automata
- ordered binary decision diagrams
- description language
- e learning
- verification method
- reactive systems
- planning problems
- government agencies
- pspace complete
- formal methods
- domain independent
- mobile technologies
- bounded model checking
- ai planning
- information sharing
- heuristic search
- learning experience
- linear temporal logic
- np complete
- distributed systems
- deterministic finite automaton