Hardware and software: verification and testing 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings

Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings
Veröffentlicht: (2016)

SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000 ; proceedings
Veröffentlicht: (2000)

Model checking software 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 ; proceedings
Veröffentlicht: (2003)

Model checking software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007 ; proceedings
Veröffentlicht: (2007)

Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1 - 3, 2004 ; proceedings
Veröffentlicht: (2004)

Model checking software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007 ; proceedings
Veröffentlicht: (2007)

Model checking software 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 ; proceedings
Veröffentlicht: (2008)

Verification, validation and testing in software engineering
Veröffentlicht: (2007)

Common system and software testing pitfalls how to prevent and mitigate them ; descriptions, symptoms, consequences, causes, and recommendations
von: Firesmith, Donald G. 1952-
Veröffentlicht: (2014)

Model checking
von: Clarke, Edmund M. 1945-2020, et al.
Veröffentlicht: (2002)

Model checking
von: Clarke, Edmund M. 1945-2020, et al.
Veröffentlicht: (2000)

Principles of model checking
von: Baier, Christel, et al.
Veröffentlicht: (2008)

Verification, model checking, and abstract interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003 ; proceedings
Veröffentlicht: (2003)

Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers
Veröffentlicht: (2002)

Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings
Veröffentlicht: (2013)

Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings
Veröffentlicht: (1999)

Tests and proofs 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings
Veröffentlicht: (2013)

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 ; revised selected papers
Veröffentlicht: (2006)

Correct hardware design and verification methods 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001 ; proceedings
Veröffentlicht: (2001)

Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings
Veröffentlicht: (2013)

Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings
Veröffentlicht: (2013)

Software engineering and formal methods 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1 - 5, 2012 ; proceedings
Veröffentlicht: (2012)

Software engineering and formal methods 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1 - 5, 2012 ; proceedings
Veröffentlicht: (2012)

Functional program testing and analysis
von: Howden, William E.
Veröffentlicht: (1987)

Verification, model checking, and abstract interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 ; proceedings
Veröffentlicht: (2008)

Tests and proofs 10th international conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings
Veröffentlicht: (2016)

Tests and proofs 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings
Veröffentlicht: (2014)

Software engineering and formal methods SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers
Veröffentlicht: (2014)

Using model checking for system verification
von: Maidl, Monika
Veröffentlicht: (2000)

Hardware verification with C++ a practitioner's handbook
von: Mintz, Mike, et al.
Veröffentlicht: (2006)

Hardware verification with C++ a practitioner's handbook
von: Mintz, Mike, et al.
Veröffentlicht: (2006)

Verification, model checking, and abstract interpretation 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings
Veröffentlicht: (2019)

Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings
Veröffentlicht: (2004)

FME 2003 - formal methods International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 ; proceedings
Veröffentlicht: (2003)

Verification, model checking, and abstract interpretation 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022 : proceedings
Veröffentlicht: (2022)

Software engineering and formal methods 12th International Conference, SEFM 2014 Grenoble, France, September 1-5, 2014 ; proceedings
Veröffentlicht: (2014)