Computer aided verification: 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8044 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 1 Online-Ressource (XXI, 1015 S.) Ill., graph. Darst. |
| ISBN: | 9783642397981 9783642397998 |
| DOI: | 10.1007/978-3-642-39799-8 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041426427 | ||
| 003 | DE-604 | ||
| 005 | 20140312 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131120s2013 xx ad|| o|||| 10||| eng d | ||
| 020 | |a 9783642397981 |9 978-3-642-39798-1 | ||
| 020 | |a 9783642397998 |9 978-3-642-39799-8 | ||
| 024 | 7 | |a 10.1007/978-3-642-39799-8 |2 doi | |
| 035 | |a (OCoLC)858013898 | ||
| 035 | |a (DE-599)BVBBV041426427 | ||
| 040 | |a DE-604 |b ger | ||
| 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-739 |a DE-859 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Computer aided verification |b 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings |c Natasha Sharygina ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XXI, 1015 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 8044 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Sankt Petersburg |2 gnd-content | |
| 689 | 0 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Sharygina, Natasha |e Sonstige |4 oth | |
| 711 | 2 | |a CAV |n 25 |d 2013 |c Sankt Petersburg |j Sonstige |0 (DE-588)1038044154 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8044 |w (DE-604)BV014880109 |9 8044 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-39799-8 |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=026873386&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=026873386&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-026873386 | |
Datensatz im Suchindex
| _version_ | 1820875531667636224 |
|---|---|
| adam_text |
COMPUTER AIDED VERIFICATION
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
AUTOMATA NETWORKS
MODEL-CHECKING SIGNAL TRANSDUCTION NETWORKS THROUGH DECREASING
REACHABILITY SETS
TTP: TOOL FOR TUMOR PROGRESSION
EXPLORING PARAMETER SPACE OF STOCHASTIC BIOCHEMICAL SYSTEMS USING
QUANTITATIVE MODEL CHECKING
PARAMETERIZED VERIFICATION OF ASYNCHRONOUS SHARED-MEMORY SYSTEMS
PARTIAL ORDERS FOR EFFICIENT BMC OF CONCURRENT SOFTWARE
INCREMENTAL, INDUCTIVE COVERABILITY
AUTOMATIC LINEARIZABILITY PROOFS OF CONCURRENT OBJECTS WITH COOPERATING
UPDATES
DUET: STATIC ANALYSIS FOR UNBOUNDED PARALLELISM
SVA AND PSL LOCAL VARIABLES
A PRACTICAL APPROACH
FORMAL VERIFICATION OF HARDWARE SYNTHESIS
CACBDD: A BDD PACKAGE WITH DYNAMIC CACHE MANAGEMENT
DISTRIBUTED EXPLICIT STATE MODEL CHECKING OF DEADLOCK FREEDOM
EXPONENTIAL-CONDITION-BASED BARRIER CERTIFICATE GENERATION FOR SAFETY
VERIFICATION OF HYBRID SYSTEMS
EFFICIENT ROBUST MONITORING FOR STL
ABSTRACTION BASED MODEL-CHECKING OF STABILITY OF HYBRID SYSTEMS
FASTER ALGORITHMS FOR MARKOV DECISION PROCESSES WITH LOW TREE WIDTH
AUTOMATA WITH GENERALIZED RABIN PAIRS FOR PROBABILISTIC MODEL CHECKING
AND LTL SYNTHESIS
IMPORTANCE SPLITTING FOR STATISTICAL MODEL CHECKING RARE PROPERTIES
MINIMAL SETS OVER MONOTONE PREDICATES IN BOOLEAN FORMULAE
SMTEN: AUTOMATIC TRANSLATION OF HIGH-LEVEL SYMBOLIC COMPUTATIONS INTO
SMT QUERIES
QUAIL: A QUANTITATIVE SECURITY ANALYZER FOR IMPERATIVE CODE
EFFECTIVELY PROPOSITIONAL REASONING ABOUT REACHABILITY IN LINKED DATA
STRUCTURES
LEARNING UNIVERSALLY QUANTIFIED INVARIANTS OF LINEAR DATA STRUCTURES
GOAL FOR GAMES, OMEGA-AUTOMATA, AND LOGICS
EFFICIENT SYNTHESIS FOR CONCURRENCY USING SEMANTICS-PRESERVING
TRANSFORMATIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
COMPUTER AIDED VERIFICATION
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED PROCEEDINGS OF THE 25TH
INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, CAV 2013 HELD
IN ST. PETERSBURG, RUSSIA IN JULY 2013. THE 54 REGULAR AND 16 TOOL
PAPERS PRESENTED WERE CAREFULLY SELECTED FROM 209 SUBMISSIONS. THE
PAPERS ARE ORGANIZED IN TOPICAL SECTIONS ON BIOLOGY, CONCURRENCY,
HARDWARE, HYBRID SYSTEMS, INTERPOLATION, LOOPS AND TERMINATION, NEW
DOMAINS, PROBABILITY AND STATISTICS, SAT AND SMZ, SECURITY, SHAPE
ANALYSIS, SYNTHESIS, AND TIME
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV041426427 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 DAT 500f DAT 325f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)858013898 (DE-599)BVBBV041426427 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-39799-8 |
| 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">BV041426427</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140312</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131120s2013 xx ad|| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642397981</subfield><subfield code="9">978-3-642-39798-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642397998</subfield><subfield code="9">978-3-642-39799-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-39799-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)858013898</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041426427</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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-739</subfield><subfield code="a">DE-859</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.1015113</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 500f</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">Computer aided verification</subfield><subfield code="b">25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings</subfield><subfield code="c">Natasha Sharygina ... (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 (XXI, 1015 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">8044</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Sankt Petersburg</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Sharygina, Natasha</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">25</subfield><subfield code="d">2013</subfield><subfield code="c">Sankt Petersburg</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1038044154</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">8044</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8044</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-39799-8</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=026873386&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=026873386&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-026873386</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Sankt Petersburg gnd-content |
| genre_facet | Konferenzschrift 2013 Sankt Petersburg |
| id | DE-604.BV041426427 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:06Z |
| institution | BVB |
| institution_GND | (DE-588)1038044154 |
| isbn | 9783642397981 9783642397998 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026873386 |
| oclc_num | 858013898 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 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-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XXI, 1015 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 | Computer aided verification 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings Natasha Sharygina ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XXI, 1015 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8044 Literaturangaben Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Sankt Petersburg gnd-content Verifikation (DE-588)4135577-5 s DE-604 Sharygina, Natasha Sonstige oth CAV 25 2013 Sankt Petersburg Sonstige (DE-588)1038044154 oth Lecture notes in computer science 8044 (DE-604)BV014880109 8044 https://doi.org/10.1007/978-3-642-39799-8 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026873386&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=026873386&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Computer aided verification 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings Lecture notes in computer science Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)1071861417 |
| title | Computer aided verification 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings |
| title_auth | Computer aided verification 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings |
| title_exact_search | Computer aided verification 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings |
| title_full | Computer aided verification 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings Natasha Sharygina ... (eds.) |
| title_fullStr | Computer aided verification 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings Natasha Sharygina ... (eds.) |
| title_full_unstemmed | Computer aided verification 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings Natasha Sharygina ... (eds.) |
| title_short | Computer aided verification |
| title_sort | computer aided verification 25th international conference cav 2013 saint petersburg russia july 13 19 2013 proceedings |
| title_sub | 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13 - 19, 2013 ; proceedings |
| topic | Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Verifikation Konferenzschrift 2013 Sankt Petersburg |
| url | https://doi.org/10.1007/978-3-642-39799-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026873386&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=026873386&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT sharyginanatasha computeraidedverification25thinternationalconferencecav2013saintpetersburgrussiajuly13192013proceedings AT cavsanktpetersburg computeraidedverification25thinternationalconferencecav2013saintpetersburgrussiajuly13192013proceedings |