Software verification and validation : an engineering and scientific approach /

Verification and validation in systems engineering : assessing UML/SysML design models /
Published: (2010)

Time for verification : essays in memory of Amir Pnueli /
Published: (2010)

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (2009)

Software verification and validation : a practitioner's guide /
by: Rakitin, Steven R.
Published: (1997)

Verification, validation and testing in software engineering /
Published: (2007)

Verification, validation and testing in software engineering /
Published: (2007)

Verification and validation of modern software-intensive systems /
by: Schulmeyer, G. Gordon
Published: (2000)

Independent verification and validation : a life cycle engineering process for quality software /
by: Lewis, Robert O., 1938-
Published: (1992)

Software validation, verification, testing, and documentation /
Published: (1986)

Verification and validation for quality of UML 2.0 models /
by: Unhelkar, Bhuvan
Published: (2005)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

Specification and verification of multi-agent systems /
Published: (2010)

Verification and validation of rule-based expert systems /
by: Smith, Suzanne, 1953-
Published: (1993)

Guidance for the verification and validation of neural networks /
by: Pullum, Laura L., et al.
Published: (2007)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

The software audit guide /
by: Helgeson, John W., 1945-
Published: (2010)

Verification of object-oriented software : the KeY approach /
Published: (2007)

Software reviews and audits handbook /
by: Hollocker, Charles P.
Published: (1990)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

Methods and procedures for the verification and validation of artificial neural networks /
Published: (2006)

Formal system verification : state-of the-art and future trends /
Published: (2018)

Software verification and validation : realistic project approaches /
by: Deutsch, Michael S.
Published: (1982)

Validation of chromatography data systems : meeting business and regulatory requirements /
by: McDowall, R. D.
Published: (2005)

Validation of chromatography data systems : meeting business and regulatory requirements /
by: McDowall, R. D.
Published: (2005)

Principles of the Spin model checker /
by: Ben-Ari, M., 1948-
Published: (2008)

TMap Next : ein praktischer Leitfaden für ergebnisorientiertes Softwaretesten /
Published: (2008)

Decidability of parameterized verification /
by: Bloem, Roderick P., et al.
Published: (2015)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
by: Yoeli, Michael, 1917-
Published: (2008)

Independent verification & validation : providing unbiased software analysis & evaluation services.
Published: (2008)

Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010, Revised selected papers /
Published: (2011)

Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
Published: (2008)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Published: (2007)

Gradle : Ein kompakter Einstieg in modernes Build-Management /
by: Baumann, Joachim
Published: (2013)

Systems and software verification : model-checking techniques and tools /
Published: (2001)

Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada /
Published: (1990)

Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /
Published: (2009)