Software reliability : a preliminary handbook /

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 analysis : an integrated, hands-on approach /
by: Łaski, Janusz
Published: (2009)

System software reliability /
by: Pham, Hoang
Published: (2006)

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

Trustworthy systems through quantitative software engineering /
by: Bernstein, Lawrence, 1940-
Published: (2005)

Cooperative bug isolation : winning thesis of the 2005 ACM Doctoral Dissertation Competition /
by: Liblit, Ben
Published: (2007)

Trustworthy computing : analytical and quantitative engineering evaluation /
by: Sahinoglu, Mehmet, 1951-
Published: (2007)

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

Software fault tolerance techniques and implementation /
by: Pullum, Laura L.
Published: (2001)

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

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

Using aspect-oriented programming for trustworthy software development /
by: Safonov, V. O. (Vladimir Olegovich)
Published: (2008)

Systems and software engineering with applications /
by: Schneidewind, Norman
Published: (2009)

Introduction to reliable and secure distributed programming /
by: Cachin, Christian
Published: (2011)

Introduction to reliable distributed programming /
by: Guerraoui, Rachid
Published: (2006)

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

Software assurance using structured assurance case models /
Published: (2009)

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

Software-implemented hardware fault tolerance /
Published: (2006)

Enhancing software fault prediction with machine learning : emerging research and opportunities /
by: Rashid, Ekbal, 1976-
Published: (2018)

Trust in technology : a socio-technical perspective /
Published: (2006)

Debugging at the electronic system level /
by: Rogin, Frank
Published: (2010)

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

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

Test pattern generation using boolean proof engines /
Published: (2009)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
Published: (2009)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings /
Published: (2011)

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

Trustworthly [as printed] global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
Published: (2010)

Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers /
Published: (2008)

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)

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

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