Hardware and software: verification and testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5394 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 214 S. graph. Darst. 24 cm |
| ISBN: | 9783642017018 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035467700 | ||
| 003 | DE-604 | ||
| 005 | 20120220 | ||
| 007 | t| | ||
| 008 | 090505s2009 xx d||| |||| 10||| eng d | ||
| 016 | 7 | |a 993919472 |2 DE-101 | |
| 020 | |a 9783642017018 |c kart. : EUR 45.96 |9 978-3-642-01701-8 | ||
| 035 | |a (OCoLC)320800353 | ||
| 035 | |a (DE-599)DNB993919472 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.76.V47 | |
| 082 | 0 | |a 004.24 |2 22//ger | |
| 082 | 0 | |a 004.24 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 190f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Hardware and software: verification and testing |b 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings |c Hana Chockler ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XII, 214 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5394 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Hardwareverifikation - Korrektheit - Kongress - Haifa <2008> | |
| 650 | 4 | |a Model Checking - Kongress - Haifa <2008> | |
| 650 | 4 | |a Programmverifikation - Korrektheit - Kongress - Haifa <2008> | |
| 650 | 4 | |a Software - Testen - Kongress - Haifa <2008> | |
| 650 | 4 | |a Computer input-output equipment |v Congresses | |
| 650 | 4 | |a Computer programs |x Verification |v Congresses | |
| 650 | 4 | |a Computer software |x Verification |v Congresses | |
| 650 | 4 | |a Software architecture |v Congresses | |
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Korrektheit |0 (DE-588)4240223-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Haifa |2 gnd-content | |
| 689 | 0 | 0 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 0 | 1 | |a Korrektheit |0 (DE-588)4240223-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 1 | |a Korrektheit |0 (DE-588)4240223-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Chockler, Hana |e Sonstige |4 oth | |
| 711 | 2 | |a International Haifa Verification Conference |n 4 |d 2008 |c Haifa |j Sonstige |0 (DE-588)16007959-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5394 |w (DE-604)BV000000607 |9 5394 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017387422&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017387422 | |
Datensatz im Suchindex
| _version_ | 1820875120210608128 |
|---|---|
| adam_text |
MALAY K. GANAI TABLE OF CONTENTS SECTION 1: INVITED TALKS HAZARDS OF
VERIFICATION 1 DANIEL JACKSON AUTOMATA-THEORETIE MODEL CHECKING
REVISITED 2 MOSHE Y. VARDI PROOFS, INTERPOLANTS, AND RELEVANCE
HEURISTICS (HVC 2008 AWARD WINNER) 3 KEN MCMILLAN IS VERIFICATION
GETTING TOO COMPLEX? 4 YOAV HOLLANDER CAN MUTATION ANALYSIS HELP FIX OUR
BROKEN COVERAGE METRICS? 5 BRIAN BAILEY PRACTICAL CONSIDERATIONS
CONCERNING HL-TO -RT EQUIVALENCE CHECKING 6 CARL PIXLEY SECTION 2:
REGULAER PAPERS A FRAMEWORK FOR INHERENT VACUITY 7 DANA FISMAN, ORNA
KUPFERMAN, SARAI SHEINVALD-FARAGY, AND MOSHE Y. VARDI A META HEURISTIC
FOR EFFECTIVELY DETECTING CONCURRENCY ERRORS 23 NEHA RUNGTA AND ERIC G.
MERCER A UNIFORM APPROACH TO THREE-VALUED SEMANTICS FOR /J-CALCULUS ON
ABSTRACTIONS OF HYBRID AUTOMATA 38 KERSTIN BAUER, RAFFAELLA GENTILINI,
AND KLAUS SCHNEIDER AUTOMATIC BOOSTING OF CROSS-PRODUCT COVERAGE USING
BAYESIAN NETWORKS 53 DORIT BARNS, LAURENT FOURNIER, AND AVI ZIV
EFFICIENT DECISION PROCEDURE FOR BOUNDED INTEGER NON-LINEAR OPERATIONS
USING SM1{XA) 68 BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/993919472 DIGITALISIERT DURCH XII TABLE OF CONTENTS
EVALUATING WORKLOADS USING COMPARATIVE FUNCTIONAL COVERAGE 84 YORAM
ADLER, DALE BLUE, THOMAS CONTI, RICHARD PREWITT, AND SHMUEL UR ITERATIVE
DELTA DEBUGGING 99 CYRILLE ARTHO LINEAR-TIME REDUCTIONS OF RESOLUTION
PROOFS 114 OMER BAR-RAN, ODED FUHRMANN, SHLOMO HOORY, OHAD SHACHAM, AND
OFER STRICHMAN SIGNIFICANT DIAGNOSTIC COUNTEREXAMPLES IN PROBABILISTIC
MODEL CHECKING 129 MIGUEL E. ANDRES, PEDRO D 'ARGENIO, AND PETER VAN
ROSSUM STATISTICAL MODEL CHECKING OF MIXED-ANALOG CIRCUITS WITH AN
APPLICATION TO A THIRD ORDER A * E MODULATOR 149 EDMUND CLARKE,
ALEXANDRE DONZE, AND AXEL LEGAY STRUCTURAL CONTRADICTIONS 164 CINDY
EISNER AND DANA FISMAN SYNTHESIZING TEST MODELS FROM TEST CASES 179
ANTTI JAEAESKELAEINEN, ANTTI KERVINEN, MIKA KATARA, ANTTI VALMARI, AND
HEIKKI VIRTANEN SECTION 3: TOOL PAPERS D-TSR: PARALLELIZING SMT-BASED
BMC USING TUNNELS OVER A DISTRIBUTED FRAMEWORK 194 MALAY K. GANAI AND
WEIHONG LI PROGRESS IN AUTOMATED SOFTWARE DEFECT PREDICTION 200 THOMAS
J. OSTRAND AND ELAINE J. WEYUKER SEECODE - A CODE REVIEW PLUG-IN FOR
ECLIPSE 205 MORAN SHOCHAT, ORNA RAZ, AND EITAN FARCHI USER-FRIENDLY
MODEL CHECKING: AUTOMATICALLY CONFIGURING ALGORITHMS WIT |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035467700 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V47 |
| callnumber-search | QA76.76.V47 |
| callnumber-sort | QA 276.76 V47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f DAT 190f DAT 325f |
| ctrlnum | (OCoLC)320800353 (DE-599)DNB993919472 |
| dewey-full | 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.24 |
| dewey-search | 004.24 |
| dewey-sort | 14.24 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035467700</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090505s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">993919472</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642017018</subfield><subfield code="c">kart. : EUR 45.96</subfield><subfield code="9">978-3-642-01701-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)320800353</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB993919472</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.V47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 190f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hardware and software: verification and testing</subfield><subfield code="b">4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings</subfield><subfield code="c">Hana Chockler ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 214 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5394</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hardwareverifikation - Korrektheit - Kongress - Haifa <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model Checking - Kongress - Haifa <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmverifikation - Korrektheit - Kongress - Haifa <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software - Testen - Kongress - Haifa <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer input-output equipment</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software architecture</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Haifa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chockler, Hana</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Haifa Verification Conference</subfield><subfield code="n">4</subfield><subfield code="d">2008</subfield><subfield code="c">Haifa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16007959-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5394</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5394</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017387422&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017387422</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Haifa gnd-content |
| genre_facet | Konferenzschrift 2008 Haifa |
| id | DE-604.BV035467700 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:34Z |
| institution | BVB |
| institution_GND | (DE-588)16007959-7 |
| isbn | 9783642017018 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017387422 |
| oclc_num | 320800353 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XII, 214 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings Hana Chockler ... (eds.) Berlin [u.a.] Springer 2009 XII, 214 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5394 Literaturangaben Hardwareverifikation - Korrektheit - Kongress - Haifa <2008> Model Checking - Kongress - Haifa <2008> Programmverifikation - Korrektheit - Kongress - Haifa <2008> Software - Testen - Kongress - Haifa <2008> Computer input-output equipment Congresses Computer programs Verification Congresses Computer software Verification Congresses Software architecture Congresses Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Haifa gnd-content Hardwareverifikation (DE-588)4214982-4 s Korrektheit (DE-588)4240223-2 s DE-604 Programmverifikation (DE-588)4135576-3 s Softwaretest (DE-588)4132652-0 s Model Checking (DE-588)4434799-6 s Chockler, Hana Sonstige oth International Haifa Verification Conference 4 2008 Haifa Sonstige (DE-588)16007959-7 oth Lecture notes in computer science 5394 (DE-604)BV000000607 5394 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017387422&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings Lecture notes in computer science Hardwareverifikation - Korrektheit - Kongress - Haifa <2008> Model Checking - Kongress - Haifa <2008> Programmverifikation - Korrektheit - Kongress - Haifa <2008> Software - Testen - Kongress - Haifa <2008> Computer input-output equipment Congresses Computer programs Verification Congresses Computer software Verification Congresses Software architecture Congresses Hardwareverifikation (DE-588)4214982-4 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Korrektheit (DE-588)4240223-2 gnd |
| subject_GND | (DE-588)4214982-4 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)4240223-2 (DE-588)1071861417 |
| title | Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings |
| title_auth | Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings |
| title_exact_search | Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings |
| title_full | Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings Hana Chockler ... (eds.) |
| title_fullStr | Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings Hana Chockler ... (eds.) |
| title_full_unstemmed | Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings Hana Chockler ... (eds.) |
| title_short | Hardware and software: verification and testing |
| title_sort | hardware and software verification and testing 4th international haifa verification conference hvc 2008 haifa israel october 27 30 2008 proceedings |
| title_sub | 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 ; proceedings |
| topic | Hardwareverifikation - Korrektheit - Kongress - Haifa <2008> Model Checking - Kongress - Haifa <2008> Programmverifikation - Korrektheit - Kongress - Haifa <2008> Software - Testen - Kongress - Haifa <2008> Computer input-output equipment Congresses Computer programs Verification Congresses Computer software Verification Congresses Software architecture Congresses Hardwareverifikation (DE-588)4214982-4 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Korrektheit (DE-588)4240223-2 gnd |
| topic_facet | Hardwareverifikation - Korrektheit - Kongress - Haifa <2008> Model Checking - Kongress - Haifa <2008> Programmverifikation - Korrektheit - Kongress - Haifa <2008> Software - Testen - Kongress - Haifa <2008> Computer input-output equipment Congresses Computer programs Verification Congresses Computer software Verification Congresses Software architecture Congresses Hardwareverifikation Model Checking Softwaretest Programmverifikation Korrektheit Konferenzschrift 2008 Haifa |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017387422&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT chocklerhana hardwareandsoftwareverificationandtesting4thinternationalhaifaverificationconferencehvc2008haifaisraeloctober27302008proceedings AT internationalhaifaverificationconferencehaifa hardwareandsoftwareverificationandtesting4thinternationalhaifaverificationconferencehvc2008haifaisraeloctober27302008proceedings |