Skip to Main content Skip to Navigation
Book sections

The Role of Validation in Refinement-Based Formal Software Development

Abstract : 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.
Document type :
Book sections
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01788768
Contributor : Jean-Pierre Jacquot <>
Submitted on : Wednesday, May 9, 2018 - 1:38:01 PM
Last modification on : Thursday, May 20, 2021 - 10:09:03 AM
Long-term archiving on: : Tuesday, September 25, 2018 - 8:54:08 AM

File

VF.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01788768, version 1

Collections

Citation

Jean-Pierre Jacquot, Atif Mashkoor. The Role of Validation in Refinement-Based Formal Software Development. Models: Concept, Theory, Logic, Reasoning, and Semantics, College Publications, 2018, 978-1-84890-276-3. ⟨hal-01788768⟩

Share

Metrics

Record views

151

Files downloads

232