An introduction to formal program verification /

Program verification /
by: Francez, Nissim
Published: (1992)

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

Guidelines for formal verification systems.
Published: (1989)

A survey of verification techniques for parallel programs /
Published: (1985)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
Published: (2006)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)

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

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

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

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published: (2007)

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
Published: (2005)

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published: (2007)

Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
Published: (2010)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /
Published: (2004)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /
Published: (2008)

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
Published: (2009)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
Published: (2003)

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

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

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings /
Published: (2006)

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
Published: (2005)

Introduction to formal hardware verification /
by: Kropf, Thomas, 1961-
Published: (1999)

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

Software engineering : analysis and verification /
by: Lewis, T. G. (Theodore Gyle), 1941-
Published: (1982)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
Published: (2006)

Compiler specification and verification /
by: Polak, Wolfgang, 1950-
Published: (1981)

Verifiable programming /
by: Dahl, Ole-Johan, 1931-
Published: (1992)

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

Verification of digital and hybrid systems /
Published: (2000)

Concurrency verification : introduction to compositional and noncompositional methods /
Published: (2001)

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

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

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

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

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)