Open AccessA component-based approach to verification and validation of formal software models
Author(s) -
Bojan Čukić,
D. Desovski
Publication year - 2019
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.33915/etd.2495
Subject(s) - computer science , correctness , software verification , formal verification , model checking , verification and validation , runtime verification , random testing , functional verification , component (thermodynamics) , modular design , formal methods , verification and validation of computer simulation models , programming language , software , test case , software system , software construction , machine learning , engineering , operations management , physics , regression analysis , thermodynamics , statistics , mathematics