Hardware and software: verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture notes in computer science
6405 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | X, 168 S. graph. Darst. 24 cm |
| ISBN: | 9783642192364 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037238205 | ||
| 003 | DE-604 | ||
| 005 | 20120220 | ||
| 007 | t| | ||
| 008 | 110221s2011 xx d||| |||| 10||| eng d | ||
| 016 | 7 | |a 1009641751 |2 DE-101 | |
| 020 | |a 9783642192364 |9 978-3-642-19236-4 | ||
| 035 | |a (OCoLC)707194050 | ||
| 035 | |a (DE-599)DNB1009641751 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.14 |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 |b verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers |c Kedar Namjoshi ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a X, 168 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 6405 | |
| 500 | |a Literaturangaben | ||
| 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Haifa |2 gnd-content | |
| 689 | 0 | 0 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 0 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Namjoshi, Kedar S. |e Sonstige |4 oth | |
| 711 | 2 | |a International Haifa Verification Conference |n 5 |d 2009 |c Haifa |j Sonstige |0 (DE-588)16101264-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6405 |w (DE-604)BV000000607 |9 6405 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3654997&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=021151747&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-021151747 | |
Record in the Search Index
| _version_ | 1820875294364401664 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
I KEYNOTE AND INVITED TALKS CAN WE VERIFY AN ELEPHANT? 1
DAVID HAREL
PAIN, POSSIBILITIES, AND PRESCRIPTIONS INDUSTRY TRENDS IN ADVANCED
FUNCTIONAL VERIFICATION 2
HARRY FOSTER
THE SBSE APPROACH TO AUTOMATED OPTIMIZATION OF VERIFICATION AND TESTING
3
MARK HARMAN
DART: DIRECTED AUTOMATED RANDOM TESTING 4
KOUSHIK SEN
II RESEARCH PAPERS
REDUCTION OF INTERRUPT HANDLER EXECUTIONS FOR MODEL CHECKING EMBEDDED
SOFTWARE 5
BASTIAN SCHLICH, THOMAS NOLL, JOERG BRAUER, AND LUCAS BRUTSCHY
DIAGNOSABILITY OF PUSHDOWN SYSTEMS 21
CHRISTOPHE MORVAN AND SOPHIE PINCHINAT
FUNCTIONAL TEST GENERATION WITH DISTRIBUTION CONSTRAINTS 34
ANNA MOSS AND BORIS GUTKOVICH
AN EXPLANATION-BASED CONSTRAINT DEBUGGER 52
AARON RICH, GIORA ALEXANDRON, AND REUVEN NAVEH
EVALUATING WORKLOADS USING MULTI-COMPARATIVE FUNCTIONAL COVERAGE . . 57
YORAM ADLER, SHMUEL UR, AND DALE BLUE
REASONING ABOUT FINITE-STATE SWITCHED SYSTEMS 71
DANA FISMAN AND ORNA KUPFERMAN
DATAFLOW ANALYSIS FOR PROPERTIES OF ASPECT SYSTEMS 87
YEVGENIA ALPERIN-TSIMERMAN AND SHMUEL KATZ
BISIMULATION MINIMISATIONS FOR BOOLEAN EQUATION SYSTEMS 102 JEROEN J.A.
KEIREN AND TIM A.C. WILLEMSE
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1009641751
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
SYNTHESIZING SOLUTIONS TO THE LEADER ELECTION PROBLEM USING MODEL
CHECKING AND GENETIC PROGRAMMING 117
GAL KATZ AND DORON PELED
STACKING-BASED CONTEXT-SENSITIVE POINTS-TO ANALYSIS FOR JAVA 133 XIN LI
AND MIZUHITO OGAWA
AN INTERPOLATING DECISION PROCEDURE FOR TRANSITIVE RELATIONS WITH
UNINTERPRETED FUNCTIONS 150
DANIEL KROENING AND GEORG WEISSENBACHER
AUTHOR INDEX 169 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV037238205 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f DAT 190f DAT 325f |
| ctrlnum | (OCoLC)707194050 (DE-599)DNB1009641751 |
| dewey-full | 005.14 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.14 004.24 |
| dewey-search | 005.14 004.24 |
| dewey-sort | 15.14 |
| 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">BV037238205</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110221s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1009641751</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642192364</subfield><subfield code="9">978-3-642-19236-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)707194050</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1009641751</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-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</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</subfield><subfield code="b">verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers</subfield><subfield code="c">Kedar Namjoshi ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 168 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">6405</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Namjoshi, Kedar S.</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">5</subfield><subfield code="d">2009</subfield><subfield code="c">Haifa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16101264-4</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">6405</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6405</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3654997&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=021151747&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-021151747</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Haifa gnd-content |
| genre_facet | Konferenzschrift 2009 Haifa |
| id | DE-604.BV037238205 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:19Z |
| institution | BVB |
| institution_GND | (DE-588)16101264-4 |
| isbn | 9783642192364 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-021151747 |
| oclc_num | 707194050 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | X, 168 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Hardware and software verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers Kedar Namjoshi ... (eds.) Berlin [u.a.] Springer 2011 X, 168 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6405 Literaturangaben 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 (DE-588)1071861417 Konferenzschrift 2009 Haifa gnd-content Hardwareverifikation (DE-588)4214982-4 s Programmverifikation (DE-588)4135576-3 s DE-604 Softwaretest (DE-588)4132652-0 s Model Checking (DE-588)4434799-6 s Namjoshi, Kedar S. Sonstige oth International Haifa Verification Conference 5 2009 Haifa Sonstige (DE-588)16101264-4 oth Lecture notes in computer science 6405 (DE-604)BV000000607 6405 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3654997&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021151747&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hardware and software verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers Lecture notes in computer science 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 |
| subject_GND | (DE-588)4214982-4 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)1071861417 |
| title | Hardware and software verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers |
| title_auth | Hardware and software verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers |
| title_exact_search | Hardware and software verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers |
| title_full | Hardware and software verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers Kedar Namjoshi ... (eds.) |
| title_fullStr | Hardware and software verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers Kedar Namjoshi ... (eds.) |
| title_full_unstemmed | Hardware and software verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers Kedar Namjoshi ... (eds.) |
| title_short | Hardware and software |
| title_sort | hardware and software verification and testing 5th international haifa verification conference hcv 2009 haifa israel october 19 22 2009 revised selected papers |
| title_sub | verification and testing, 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19 - 22, 2009 ; revised selected papers |
| topic | 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 |
| topic_facet | Hardwareverifikation Model Checking Softwaretest Programmverifikation Konferenzschrift 2009 Haifa |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3654997&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021151747&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT namjoshikedars hardwareandsoftwareverificationandtesting5thinternationalhaifaverificationconferencehcv2009haifaisraeloctober19222009revisedselectedpapers AT internationalhaifaverificationconferencehaifa hardwareandsoftwareverificationandtesting5thinternationalhaifaverificationconferencehcv2009haifaisraeloctober19222009revisedselectedpapers |