Verification and validation meet planning and scheduling

  • Saddek Bensalem
  • Klaus Havelund
  • Andrea Orlandini

DOI: 10.1007/s10009-013-0294-x

Cite this article as:
Bensalem, S., Havelund, K. & Orlandini, A. Int J Softw Tools Technol Transfer (2014) 16: 1. doi:10.1007/s10009-013-0294-x


A planning and scheduling (P&S) system takes as input a domain model and a goal, and produces a plan of actions to be executed, which will achieve the goal. A P&S system typically also offers plan execution and monitoring engines. Due to the non-deterministic nature of planning problems, it is a challenge to construct correct and reliable P&S systems, including, for example, declarative domain models. Verification and validation (V&V) techniques have been applied to address these issues. Furthermore, V&V systems have been applied to actually perform planning, and conversely, P&S systems have been applied to perform V&V of more traditional software. This article overviews some of the literature on the fruitful interaction between V&V and P&S.


Verification and validation Planning and scheduling  Model checking Theorem proving Testing Monitoring 

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Saddek Bensalem
    • 1
  • Klaus Havelund
    • 2
  • Andrea Orlandini
    • 3
  1. 1.Verimag LaboratoryGrenobleFrance
  2. 2.Jet Propulsion LaboratoryCalifornia Institute of TechnologyPasadenaUSA
  3. 3.ISTC-CNR, National Research CouncilRomeItaly

Personalised recommendations