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...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
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: | |
Online Access: | SpringerLink - Click here for access |
Similar Items
Search Result 1
Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xxii, 253 pages) : illustrations.
Conference Proceeding
eBook
Search Result 2
Hardware and software : verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource (xvi, 302 pages) : illustrations.
Conference Proceeding
eBook
Search Result 3
Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xi, 279 pages) : illustrations.
Conference Proceeding
eBook
Search Result 4
Hardware and software : Verification and testing, 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6-8, 2011, revised selected papers
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xi, 262 pages).
Conference Proceeding
eBook
Search Result 5
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings
Published: Springer, 2008
SpringerLink - Click here for access
Description:
1 online resource (xii, 266 pages) : illustrations.
Conference Proceeding
eBook
Search Result 6
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Published: Springer, 2007
SpringerLink - Click here for access
Description:
1 online resource (xii, 234 pages) : illustrations.
Conference Proceeding
eBook
Search Result 7
Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xvi, 211 pages) : illustrations.
Conference Proceeding
eBook
Search Result 8
Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (xii, 214 pages) : illustrations.
Conference Proceeding
eBook
Search Result 9
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers
Published: Springer, 2006
SpringerLink - Click here for access
Description:
1 online resource (x, 264 pages) : illustrations.
Conference Proceeding
eBook
Search Result 10
Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (x, 196 pages) : illustrations.
Conference Proceeding
eBook
Search Result 11
Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (x, 168 pages) : illustrations.
Conference Proceeding
eBook
Search Result 12
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (xvi, 293 pages) : illustrations.
Conference Proceeding
eBook
Search Result 13
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (1 volume) : illustrations (black and white).
Conference Proceeding
eBook
Search Result 14
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (1 volume) : illustrations (black and white).
Conference Proceeding
eBook
Search Result 15
Software verification and analysis : an integrated, hands-on approach
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (xviii, 224 pages) : illustrations.
eBook
Search Result 16
Co-verification of hardware and software for ARM SoC design
Published: Elsevier, 2005
Elsevier - Click here for access
Description:
1 online resource (xxiii, 260 pages) : illustrations.
eBook
Search Result 17
Rigorous software development : an introduction to program verification
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (xii, 263 pages).
eBook
Search Result 18
Embedded software verification and debugging
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource.
eBook
Search Result 19
Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xxi, 115 pages) : illustrations.
Conference Proceeding
eBook
Search Result 20
Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (vii, 107 pages) : illustrations.
Conference Proceeding
eBook
Search Result 21
Challenges of software verification
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (xv, 264 pages) : illustrations (some color).
eBook
Search Result 22
Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource (xv, 145 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 23
Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xxi, 1015 pages).
Conference Proceeding
eBook
Search Result 24
Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised selected papers
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource (xvi, 345 pages) : illustrations.
Conference Proceeding
eBook
Search Result 25
Software verification and formal methods for ML-enabled autonomous systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July...
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (213 pages).
Conference Proceeding
eBook
Search Result 26
Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 27
String analysis for software verification and security
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource.
eBook
Search Result 28
Software engineering : specification, implementation, verification
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xv, 178 pages) : illustrations.
eBook
Search Result 29
Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (181 pages) : illustrations.
Conference Proceeding
eBook
Search Result 30
Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (vi, 212 pages) : illustrations.
eBook
Search Result 31
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (x, 375 pages) : illustrations (black and white).
Conference Proceeding
eBook
Search Result 32
Open verification methodology cookbook
Published: Springer Verlag, 2009
SpringerLink - Click here for access
Description:
1 online resource (xx, 235 pages) : illustrations.
eBook
Search Result 33
Verification of object-oriented software : the KeY approach
Published: Springer, 2007
SpringerLink - Click here for access
Description:
1 online resource (xxix, 658 pages) : illustrations.
eBook
Search Result 34
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings
Published: Springer, 2007
SpringerLink - Click here for access
Description:
1 online resource (xv, 562 pages) : illustrations.
Conference Proceeding
eBook
Search Result 35
Computer Aided Verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xvi, 789 pages) : illustrations.
Conference Proceeding
eBook
Search Result 36
Introducing software verification with Dafny language : proving program correctness
Published: Apress L. P., 2022
SpringerLink - Click here for access
Description:
1 online resource (144 pages : illustrations)
eBook
Search Result 37
Reference information for the software verification and validation process
Published: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1996
Description:
x, 85 pages : illustrations ; 28 cm.
Microfilm
Book
Search Result 38
Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xiii, 211 pages) : illustrations.
Conference Proceeding
eBook
Search Result 39
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...
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (xii, 238 pages).
Conference Proceeding
eBook
Search Result 40
Concise guide to software verification : from model checking to annotation checking
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (ix, 247 pages) : illustrations (some color).
eBook