Model checking software: 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7976 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 375 S.) Ill., graph. Darst. |
| ISBN: | 9783642391750 9783642391767 |
| DOI: | 10.1007/978-3-642-39176-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041415922 | ||
| 003 | DE-604 | ||
| 005 | 20140307 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131114s2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642391750 |c Print |9 978-3-642-39175-0 | ||
| 020 | |a 9783642391767 |c Online |9 978-3-642-39176-7 | ||
| 024 | 7 | |a 10.1007/978-3-642-39176-7 |2 doi | |
| 035 | |a (OCoLC)852532582 | ||
| 035 | |a (DE-599)BVBBV041415922 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 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 SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Model checking software |b 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings |c Ezio Bartocci ... (Eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (X, 375 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7976 | |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Stony Brook, NY |2 gnd-content | |
| 689 | 0 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bartocci, Ezio |e Sonstige |0 (DE-588)1045252077 |4 oth | |
| 711 | 2 | |a SPIN |n 20 |d 2013 |c Stony Brook, NY |j Sonstige |0 (DE-588)1038680875 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7976 |w (DE-604)BV014880109 |9 7976 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-39176-7 |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=026863116&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=026863116&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026863116 | ||
Datensatz im Suchindex
| _version_ | 1804151530053435392 |
|---|---|
| adam_text | MODEL CHECKING SOFTWARE
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
EXPLICIT-STATE MODEL CHECKING TECHNIQUES
OTHER RELATED TOOLS
TECHNIQUES FOR THE VERIFICATION AND FORMAL TESTING OF SOFTWARE SYSTEMS
IN GENERAL
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
MODEL CHECKING SOFTWARE
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 20TH INTERNATIONAL
SYMPOSIUM ON MODEL CHECKING SOFTWARE, SPIN 2013, HELD IN STONY BROOK,
NY, USA, IN JULY 2013. THE 18 REGULAR PAPERS, 2 TOOL DEMONSTRATION
PAPERS, AND 2 INVITED PAPERS WERE CAREFULLY REVIEWED AND SELECTED FROM
40 SUBMISSIONS. THE TRADITIONAL FOCUS OF SPIN HAS BEEN ON EXPLICIT-STATE
MODEL CHECKING TECHNIQUES, AS IMPLEMENTED IN SPIN AND OTHER RELATED
TOOLS. WHILE SUCH TECHNIQUES ARE STILL OF KEY INTEREST TO THE WORKSHOP,
ITS SCOPE HAS BROADENED OVER RECENT YEARS TO INCLUDE TECHNIQUES FOR THE
VERIFICATION AND FORMAL TESTING OF SOFTWARE SYSTEMS IN GENERAL
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)1045252077 |
| building | Verbundindex |
| bvnumber | BV041415922 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 000 DAT 325f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)852532582 (DE-599)BVBBV041415922 |
| 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-39176-7 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02463nmm a2200505 cb4500</leader><controlfield tag="001">BV041415922</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140307 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131114s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642391750</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-39175-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642391767</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-39176-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-39176-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)852532582</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041415922</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</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 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model checking software</subfield><subfield code="b">20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings</subfield><subfield code="c">Ezio Bartocci ... (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 (X, 375 S.)</subfield><subfield code="b">Ill., graph. Darst.</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">7976</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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Stony Brook, NY</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="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="700" ind1="1" ind2=" "><subfield code="a">Bartocci, Ezio</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1045252077</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SPIN</subfield><subfield code="n">20</subfield><subfield code="d">2013</subfield><subfield code="c">Stony Brook, NY</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1038680875</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">7976</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7976</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-39176-7</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=026863116&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=026863116&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><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026863116</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Stony Brook, NY gnd-content |
| genre_facet | Konferenzschrift 2013 Stony Brook, NY |
| id | DE-604.BV041415922 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:56:17Z |
| institution | BVB |
| institution_GND | (DE-588)1038680875 |
| isbn | 9783642391750 9783642391767 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026863116 |
| oclc_num | 852532582 |
| 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 (X, 375 S.) Ill., graph. Darst. |
| 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 | Model checking software 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings Ezio Bartocci ... (Eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 375 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7976 Programmverifikation (DE-588)4135576-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Stony Brook, NY gnd-content Model Checking (DE-588)4434799-6 s Programmverifikation (DE-588)4135576-3 s DE-604 Bartocci, Ezio Sonstige (DE-588)1045252077 oth SPIN 20 2013 Stony Brook, NY Sonstige (DE-588)1038680875 oth Lecture notes in computer science 7976 (DE-604)BV014880109 7976 https://doi.org/10.1007/978-3-642-39176-7 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026863116&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=026863116&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Model checking software 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings Lecture notes in computer science Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4434799-6 (DE-588)1071861417 |
| title | Model checking software 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings |
| title_auth | Model checking software 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings |
| title_exact_search | Model checking software 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings |
| title_full | Model checking software 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings Ezio Bartocci ... (Eds.) |
| title_fullStr | Model checking software 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings Ezio Bartocci ... (Eds.) |
| title_full_unstemmed | Model checking software 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings Ezio Bartocci ... (Eds.) |
| title_short | Model checking software |
| title_sort | model checking software 20th international symposium spin 2013 stony brook ny usa july 8 9 2013 proceedings |
| title_sub | 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings |
| topic | Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd |
| topic_facet | Programmverifikation Model Checking Konferenzschrift 2013 Stony Brook, NY |
| url | https://doi.org/10.1007/978-3-642-39176-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026863116&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=026863116&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT bartocciezio modelcheckingsoftware20thinternationalsymposiumspin2013stonybrooknyusajuly892013proceedings AT spinstonybrookny modelcheckingsoftware20thinternationalsymposiumspin2013stonybrooknyusajuly892013proceedings |