Compiler specification and verification /

di Polak, Wolfgang, 1950-
Pubblicazione 1981

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 : r...

Pubblicazione 2007

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

Pubblicazione 2009

Hardware and software, verification and testing first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /

Pubblicazione 2006

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

Pubblicazione 2007

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

Pubblicazione 2008

An introduction to the PL/CV2 programming logic /

di Constable, R. L. (Robert L.)
Pubblicazione 1982

Program verification using Ada /

di McGettrick, Andrew D., 1944-
Pubblicazione 1982

Software verification and validation : realistic project approaches /

di Deutsch, Michael S.
Pubblicazione 1982

A Survey of verification techniques for parallel programs /

di Barringer, Howard, 1951-
Pubblicazione 1985

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

Pubblicazione 2009

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /

Pubblicazione 2005

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

Pubblicazione 2005

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

Pubblicazione 2007

Verification, model checking, and abstract interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /

Pubblicazione 2008

Verified software: theories, tools, experiments second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings /

Pubblicazione 2008

Verifying concurrent processes using temporal logic /

di Hailpern, Brent T. (Brent Tzion), 1955-
Pubblicazione 1982