The role of validation in refinement-based formal software development

Autoren Jean-Piere Jacquot
Atif Mashkoor
Editoren Atif Mashkoor
Qing Wang
Bernhard Thalheim
Titel The role of validation in refinement-based formal software development
Buchtitel Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday
Typ in Buch
Verlag College Publications
Serie Tributes
Band 34
ISBN 978-1-84890-276-3
Monat April
Jahr 2018
Seiten 202-219
SCCH ID# 18031

In this chapter, we consider the issue of validation in the context of formal software development. Although validation is a standard practice in all industrial software development processes, this activity is somehow less well addressed within formal methods. As the needs for formal languages, tools and environments are increasing in producing real-life software, the validation issue must be addressed. In this chapter, we discuss what the place of validation within formal methods, what specific issues there are associated with formal methods as far as validation is concerned, and what tools can be used in this regard. We then present a few examples of the usefulness of validation from the case studies we have developed. The chapter is concluded with a few open research problems associated with validation and future work.