A framework for computer-aided validation

@article{Drusinsky2008AFF,
  title={A framework for computer-aided validation},
  author={Doron Drusinsky and James Bret Michael and Man-tak Shing},
  journal={Innovations in Systems and Software Engineering},
  year={2008},
  volume={4},
  pages={161-168}
}
This paper presents a framework for augmenting independent validation and verification (IV&V) of software systems with computer-based IV&V techniques. The framework allows an IV&V team to capture its own understanding of the application as well as the expected behavior of any proposed system for solving the underlying problem by using an executable system reference model, which uses formal assertions to specify mission- and safety-critical behaviors. The framework uses execution-based model… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-9 OF 9 CITATIONS

Similar Papers

Loading similar papers…