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 /

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

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
Published: (2004)

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)

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published: (2006)

Software testing, verification & reliability.

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)

Practical UVM : step by step with IEEE 1800.2 /
by: Vasudevan, Srivatsa
Published: (2020)

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /
Published: (2006)

Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings /
Published: (2006)

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
Published: (2002)

Industrial use of formal methods : formal verification /
Published: (2012)

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

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /
Published: (2003)

Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings /
Published: (1999)

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings /
Published: (2005)

Model checking software : 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
Published: (2008)

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
Published: (2006)

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

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
Published: (2001)

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings /
Published: (2000)

Reliability and robustness of engineering software II : Proceedings of the 2nd International Conference held in Milan, Italy, during 22-24 April 1991 /
Published: (1991)

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings /
Published: (2002)

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
Published: (2004)

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings /
Published: (1998)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Published: (2001)

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
Published: (2008)

Quality of software architectures : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeraas, Sweden, June 27-29, 2006 : revised papers /
Published: (2006)

Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /
Published: (2006)

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

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /
Published: (2005)

The UVM primer : an introduction to the Universal Verification Methodology /
by: Salemi, Ray
Published: (2013)

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /
Published: (1996)

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
Published: (1997)

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /
Published: (2004)

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /
Published: (2003)

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
Published: (2002)