Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification

11 Feb 2021 Atif Mashkoor Michael Leuschel Alexander Egyed

Traditionally, practitioners use formal methods pre-dominately for one half of the quality-assurance process: verification (do we build the software right?). The other half -- validation (do we build the right software?).. (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • SOFTWARE ENGINEERING
  • FORMAL LANGUAGES AND AUTOMATA THEORY