Open AccessA component-based approach to verification and validation of formal software models
Author(s) -
D. Desovski
Publication year - 2006
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.33915/etd.2495
Subject(s) - computer science , correctness , software verification , formal verification , model checking , runtime verification , verification and validation , random testing , functional verification , formal methods , component (thermodynamics) , modular design , programming language , software , test case , software system , software construction , machine learning , engineering , operations management , physics , regression analysis , thermodynamics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom