Compiler specification and verification /

по Polak, Wolfgang, 1950-
Опубликовано 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...

Опубликовано 2007

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

Опубликовано 2009

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

Опубликовано 2006

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

Опубликовано 2007

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

Опубликовано 2008

An introduction to the PL/CV2 programming logic /

по Constable, R. L. (Robert L.)
Опубликовано 1982

Program verification using Ada /

по McGettrick, Andrew D., 1944-
Опубликовано 1982

Software verification and validation : realistic project approaches /

по Deutsch, Michael S.
Опубликовано 1982

A Survey of verification techniques for parallel programs /

по Barringer, Howard, 1951-
Опубликовано 1985

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

Опубликовано 2009

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

Опубликовано 2005

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

Опубликовано 2005

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

Опубликовано 2007

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

Опубликовано 2008

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

Опубликовано 2008

Verifying concurrent processes using temporal logic /

по Hailpern, Brent T. (Brent Tzion), 1955-
Опубликовано 1982