Hardware and software: verification and testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; revised selected papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7857 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 1 Online-Ressource (XI, 279 S.) |
| ISBN: | 9783642396106 9783642396113 |
| DOI: | 10.1007/978-3-642-39611-3 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041420739 | ||
| 003 | DE-604 | ||
| 005 | 20140213 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131118s2013 xx o|||| 10||| eng d | ||
| 020 | |a 9783642396106 |9 978-3-642-39610-6 | ||
| 020 | |a 9783642396113 |c eISBN |9 978-3-642-39611-3 | ||
| 024 | 7 | |a 10.1007/978-3-642-39611-3 |2 doi | |
| 035 | |a (OCoLC)858013556 | ||
| 035 | |a (DE-599)BVBBV041420739 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-739 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.1 | |
| 084 | |a DAT 517f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 530f |2 stub | ||
| 245 | 1 | 0 | |a Hardware and software: verification and testing |b 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; revised selected papers |c Armin Biere ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XI, 279 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7857 | |
| 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 2012 |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 Biere, Armin |d 1967- |e Sonstige |0 (DE-588)115751823 |4 oth | |
| 711 | 2 | |a HVC |n 8 |d 2012 |c Haifa |j Sonstige |0 (DE-588)1038813549 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7857 |w (DE-604)BV014880109 |9 7857 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-39611-3 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026867824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026867824&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026867824 | |
Datensatz im Suchindex
| _version_ | 1820875529151053824 |
|---|---|
| adam_text |
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
ON BEHAVIORAL PROGRAMMING
VERIFYING REAL-TIME SOFTWARE IS NOT REASONABLE: ABSTRACT OF INVITED TALK
SMT IN VERIFICATION, MODELING, AND TESTING AT MICROSOFT
REDUCING COSTS WHILE INCREASING QUALITY
SPECIAL SESSION ON SECURITY VERIFICATION
CIRCUIT PRIMITIVES FOR MONITORING INFORMATION FLOW AND ENABLING
REDUNDANCY
FORMAL ANALYSIS OF SECURITY DATA PATHS IN RTL DESIGN
PRECISE DETECTION OF ATOMICITY VIOLATIONS
PROVING MUTUAL TERMINATION OF PROGRAMS
KNOWLEDGE BASED TRANSACTIONAL BEHAVIOR
REPAIR WITH ON-THE-FLY PROGRAM ANALYSIS
COMPUTING INTERPOLANTS WITHOUT PROOFS
MAXSAT-BASED MCS ENUMERATION
AUTOMATED REENCODING OF BOOLEAN FORMULAS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED PROCEEDINGS OF THE 8TH
INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2012, HELD IN HAIFA,
ISRAEL IN NOVEMBER 2012. THE 18 REVISED FULL PAPERS PRESENTED TOGETHER
WITH 3 POSTER PRESENTATIONS WERE CAREFULLY REVIEWED AND SELECTED FROM 36
SUBMISSIONS. THEY FOCUS ON THE FUTURE DIRECTIONS OF TESTING AND
VERIFICATION FOR HARDWARE, SOFTWARE, AND COMPLEX HYBRID SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)115751823 |
| building | Verbundindex |
| bvnumber | BV041420739 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 517f DAT 000 DAT 530f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)858013556 (DE-599)BVBBV041420739 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-39611-3 |
| format | Electronic Conference Proceeding eBook |
| 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">BV041420739</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140213</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131118s2013 xx o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642396106</subfield><subfield code="9">978-3-642-39610-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642396113</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-39611-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-39611-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)858013556</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041420739</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-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 530f</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">8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; revised selected papers</subfield><subfield code="c">Armin Biere ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 279 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">7857</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">2012</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">Biere, Armin</subfield><subfield code="d">1967-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)115751823</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">HVC</subfield><subfield code="n">8</subfield><subfield code="d">2012</subfield><subfield code="c">Haifa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1038813549</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">7857</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7857</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-39611-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026867824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026867824&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026867824</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Haifa gnd-content |
| genre_facet | Konferenzschrift 2012 Haifa |
| id | DE-604.BV041420739 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:17:03Z |
| institution | BVB |
| institution_GND | (DE-588)1038813549 |
| isbn | 9783642396106 9783642396113 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026867824 |
| oclc_num | 858013556 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-739 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-739 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XI, 279 S.) |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Hardware and software: verification and testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; revised selected papers Armin Biere ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XI, 279 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7857 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 2012 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 Biere, Armin 1967- Sonstige (DE-588)115751823 oth HVC 8 2012 Haifa Sonstige (DE-588)1038813549 oth Lecture notes in computer science 7857 (DE-604)BV014880109 7857 https://doi.org/10.1007/978-3-642-39611-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026867824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026867824&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Hardware and software: verification and testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; 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 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; revised selected papers |
| title_auth | Hardware and software: verification and testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; revised selected papers |
| title_exact_search | Hardware and software: verification and testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; revised selected papers |
| title_full | Hardware and software: verification and testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; revised selected papers Armin Biere ... (eds.) |
| title_fullStr | Hardware and software: verification and testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; revised selected papers Armin Biere ... (eds.) |
| title_full_unstemmed | Hardware and software: verification and testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; revised selected papers Armin Biere ... (eds.) |
| title_short | Hardware and software: verification and testing |
| title_sort | hardware and software verification and testing 8th international haifa verification conference hvc 2012 haifa israel november 6 8 2012 revised selected papers |
| title_sub | 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012 ; 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 2012 Haifa |
| url | https://doi.org/10.1007/978-3-642-39611-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026867824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026867824&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT bierearmin hardwareandsoftwareverificationandtesting8thinternationalhaifaverificationconferencehvc2012haifaisraelnovember682012revisedselectedpapers AT hvchaifa hardwareandsoftwareverificationandtesting8thinternationalhaifaverificationconferencehvc2012haifaisraelnovember682012revisedselectedpapers |