Loading…

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

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT...

Full description

Saved in:

Bibliographic Details
Corporate Authors:	International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)
Other Authors:	Bertacco, Valeria (Editor), Legay, Axel (Editor)
Format:	Conference Proceeding eBook
Language:	English
Published:	Cham : Springer, [2013]
Series:	Lecture notes in computer science ; 8244. LNCS sublibrary. Programming and software engineering.
Physical Description:	1 online resource (xix, 366 pages) : illustrations (some color).
Subjects:	Computer programs -- Verification -- Congresses. Software architecture -- Congresses. Computer systems. computerwetenschappen. computer sciences. programmeertalen. programming languages. kunstmatige intelligentie. artificial intelligence. wiskunde. mathematics. logica. logic. computernetwerken. computer networks. software engineering. Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Online Access:	SpringerLink - Click here for access

Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Published: Springer, 2017

Description: 1 online resource (xxii, 253 pages) : illustrations.

SpringerLink - Click here for access

Conference Proceeding eBook

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

Similar Items

Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Hardware and software : verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Hardware and software : Verification and testing, 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6-8, 2011, revised selected papers by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers by International Haifa Verification Conference Haifa, Isarel, SpringerLink (Online service)

Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I by CAV (Conference) Haifa, Israel), SpringerLink (Online service)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II by CAV (Conference) Haifa, Israel), SpringerLink (Online service)

Software verification and analysis : an integrated, hands-on approach by Łaski, Janusz

Co-verification of hardware and software for ARM SoC design by Andrews, Jason R.

Rigorous software development : an introduction to program verification by SpringerLink (Online service)

Embedded software verification and debugging by SpringerLink (Online service)

Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings by NSV (Workshop) Heidelberg, Germany), SpringerLink (Online service)

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers by NSV (Workshop) Toronto, Ont.), SpringerLink (Online service), CAV (Conference)

Challenges of software verification by SpringerLink (Online service)

Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings by NSV (Workshop) New York, N.Y.), SpringerLink (Online service)

Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings by CAV (Conference) Saint Petersburg, Russia), SpringerLink (Online service)

Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised selected papers by VSTTE (Conference) Menlo Park, Calif.), SpringerLink (Online service)

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings by VMCAI (Conference) Rome, Italy), SpringerLink (Online service)

String analysis for software verification and security by Bultan, Tevfik, Yu, Fang, Alkhalaf, Muath Abdullah, Aydin, Abdulbaki

Software engineering : specification, implementation, verification by Alagić, Suad, 1946-

Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures by LASER Summer School on "Software Engineering: Tools for Practical Software Verification" Elba, Italy, SpringerLink (Online service)

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures by SpringerLink (Online service)

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings by International SPIN Workshop Stony Brook, N.Y., SpringerLink (Online service)

Open verification methodology cookbook by Glasser, Mark

Verification of object-oriented software : the KeY approach by SpringerLink (Online service)

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings by CAV (Conference) Berlin, Germany), SpringerLink (Online service)

Computer Aided Verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings by CAV (Conference) Berkeley, Calif.), SpringerLink (Online service)

Introducing software verification with Dafny language : proving program correctness by Sitnikovski, Boro, 1933-1962

Reference information for the software verification and validation process by Wallace, Dolores R.

Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers by VSTTE (Conference) Heidelberg, Germany), SpringerLink (Online service)

Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised sel... by Monterey Workshop Redmond, Wash., SpringerLink (Online service)

Concise guide to software verification : from model checking to annotation checking by Huisman, Marieke, Wijs, Anton

Similar Items