Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg
Springer
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
9035 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XVIII, 725 p.) Ill. |
| ISBN: | 9783662466810 9783662466803 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-662-46681-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042482202 | ||
| 003 | DE-604 | ||
| 005 | 20160713 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150402s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662466810 |c Online |9 978-3-662-46681-0 | ||
| 020 | |a 9783662466803 |c Print |9 978-3-662-46680-3 | ||
| 024 | 7 | |a 10.1007/978-3-662-46681-0 |2 doi | |
| 035 | |a (OCoLC)906214528 | ||
| 035 | |a (DE-599)BVBBV042482202 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-29 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 004 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Tools and Algorithms for the Construction and Analysis of Systems |b 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |c edited by Christel Baier, Cesare Tinelli |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XVIII, 725 p.) |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9035 |x 0302-9743 | |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidungsverfahren |0 (DE-588)4637781-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |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 2015 |z London |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 0 | 2 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 3 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 4 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 0 | 5 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | 6 | |a Entscheidungsverfahren |0 (DE-588)4637781-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | 2 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Baier, Christel |e Sonstige |0 (DE-588)12400301X |4 oth | |
| 711 | 2 | |a TACAS |n 21. |d 2015 |c London |j Sonstige |0 (DE-588)1069960675 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9035 |w (DE-604)BV014880109 |9 9035 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-46681-0 |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=027917161&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=027917161&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027917161 | ||
Datensatz im Suchindex
| _version_ | 1804153212414984192 |
|---|---|
| adam_text | TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
/ BAIER, CHRISTEL
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
SCALABLE TIMING ANALYSIS WITH REFINEMENT
A FORMALLY VERIFIED HYBRID SYSTEM FOR THE NEXT-GENERATION AIRBORNE
COLLISION AVOIDANCE SYSTEM
VERIFIED REACHABILITY ANALYSIS OF CONTINUOUS SYSTEMS
HYCOMP: AN SMT-BASED MODEL CHECKER FOR HYBRID SYSTEMS
C2E2: A VERIFICATION TOOL FOR STATEFLOW MODELS
NON-CUMULATIVE RESOURCE ANALYSIS
VALUE SLICE: A NEW SLICING CONCEPT FOR SCALABLE PROPERTY CHECKING
A METHOD FOR IMPROVING THE PRECISION AND COVERAGE OF ATOMICITY VIOLATION
PREDICTIONS
COMMUTATIVITY OF REDUCERS
INFERRING SIMPLE SOLUTIONS TO RECURSION-FREE HORN CLAUSES VIA SAMPLING
ANALYSIS OF DYNAMIC PROCESS NETWORKS
MULTIGAIN: A CONTROLLER SYNTHESIS TOOL FOR MDPS WITH MULTIPLE
MEAN-PAYOFF OBJECTIVES
SYNTMASKFT: A TOOL FOR SYNTHESIZING MASKING FAULT-TOLERANT PROGRAMS FROM
DEONTIC SPECIFICATIONS
VZ - AN OPTIMIZING SMT SOLVER
DREACH: Δ-REACHABILITY ANALYSIS FOR HYBRID SYSTEMS
UPPAAL STRATEGO
BINSEC: BINARY CODE ANALYSIS WITH LOW-LEVEL REGIONS
INSIGHT: AN OPEN BINARY ANALYSIS FRAMEWORK
SAM: THE STATIC ANALYSIS MODULE OF THE MAVERIC MOBILE APP SECURITY
VERIFICATION PLATFORM
SYMBOLIC MODEL-CHECKING USING ITS-TOOLS
SEMANTIC IMPORTANCE SAMPLING FOR STATISTICAL MODEL CHECKING
STRATEGY SYNTHESIS FOR STOCHASTIC GAMES WITH MULTIPLE LONG-RUN
OBJECTIVES
FAUST2: FORMAL ABSTRACTIONS OF UNCOUNTABLE-STATE STOCHASTIC PROCESSES
LINEARLY ORDERED ATTRIBUTE GRAMMAR SCHEDULING USING SAT-SOLVING
ON PARALLEL SCALABLE UNIFORM SAT WITNESS GENERATION
APPROXIMATE COUNTING IN SMT AND VALUE ESTIMATION FOR PROBABILISTIC
PROGRAMS
PUSHING THE ENVELOPE OF OPTIMIZATION MODULO THEORIES WITH
LINEAR-ARITHMETIC COST FUNCTIONS
STATELESS MODEL CHECKING FOR TSO AND PSO
GPU ACCELERATED STRONG AND BRANCHING BISIMILARITY CHECKING
FAIRNESS FOR INFINITE-STATE SYSTEMS
SOFTWARE VERIFICATION AND VERIFIABLE WITNESSES
APROVE: TERMINATION AND MEMORY SAFETY OF C PROGRAMS
CASCADE
CPACHECKER WITH SUPPORT FOR RECURSIVE PROGRAMS AND FLOATING-POINT
ARITHMETIC
CPAREC: VERIFYING RECURSIVE PROGRAMS VIA SOURCE-TO-SOURCE PROGRAM
TRANSFORMATION
FRAMEWORK FOR EMBEDDED SYSTEM VERIFICATION
FORESTER: SHAPE ANALYSIS USING TREE AUTOMATA
MU-CSEQ 0.3: SEQUENTIALIZATION BY READ-IMPLICIT AND COARSE-GRAINED
MEMORY UNWINDINGS
PERENTIE: MODULAR TRACE REFINEMENT AND SELECTIVE VALUE TRACKING
PREDATOR HUNTING PARTY
SEAHORN: A FRAMEWORK FOR VERIFYING C PROGRAMS
SMACK+CORRAL: A MODULAR VERIFIER
ULTIMATE AUTOMIZER WITH ARRAY INTERPOLATION
ULTIMATE KOJAK WITH MEMORY SAFETY CHECKS
UNBOUNDED LAZY-CSEQ: A LAZY SEQUENTIALIZATION TOOL FOR C PROGRAMS WITH
UNBOUNDED CONTEXT SWITCHES
FUNCTION: AN ABSTRACT DOMAIN FUNCTOR FOR TERMINATION
MODEL CHECKING GENE REGULATORY NETWORKS
SYMBOLIC QUANTITATIVE ROBUSTNESS ANALYSIS OF TIMED AUTOMATA
PATTERN-BASED REFINEMENT OF ASSUME-GUARANTEE SPECIFICATIONS IN REACTIVE
SYNTHESIS
ASSUME-GUARANTEE SYNTHESIS FOR CONCURRENT REACTIVE PROGRAMS WITH PARTIAL
INFORMATION
SHIELD SYNTHESIS: RUNTIME ENFORCEMENT FOR REACTIVE SYSTEMS
VERIFYING CONCURRENT PROGRAMS BY MEMORY UNWINDING
AUTOPROOF: AUTO-ACTIVE FUNCTIONAL VERIFICATION OF OBJECT-ORIENTED
PROGRAMS
AN LTL PROOF SYSTEM FOR RUNTIME VERIFICATION
MARQ: MONITORING AT RUNTIME WITH QEA
PARALLEL EXPLICIT MODEL CHECKING FOR GENERALIZED BCHI AUTOMATA
LIMIT DETERMINISTIC AND PROBABILISTIC AUTOMATA FOR LTL GU
SATURATION-BASED INCREMENTAL LTL MODEL CHECKING WITH INDUCTIVE PROOFS
NESTED ANTICHAINS FOR WS1S
SYLVAN: MULTI-CORE DECISION DIAGRAMS
LTSMIN: HIGH-PERFORMANCE LANGUAGE-INDEPENDENT MODEL CHECKING
USING A FORMAL MODEL TO IMPROVE VERIFICATION OF A CACHE-COHERENT
SYSTEM-ON-CHIP
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
/ BAIER, CHRISTEL
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 21ST INTERNATIONAL
CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF
SYSTEMS, TACAS 2015, WHICH TOOK PLACE IN LONDON, UK, IN APRIL 2015, AS
PART OF THE EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF
SOFTWARE, ETAPS 2015. THE 45 PAPERS INCLUDED IN THIS VOLUME, CONSISTING
OF 27 RESEARCH PAPERS, 2 CASE-STUDY PAPERS, 7 REGULAR TOOL PAPERS AND 9
TOOL DEMONSTRATION PAPERS, WERE CAREFULLY REVIEWED AND SELECTED FROM 164
SUBMISSIONS. IN ADDITION, THE BOOK CONTAINS ONE INVITED CONTRIBUTION.
THE PAPERS HAVE BEEN ORGANIZED IN TOPICAL SECTIONS ON HYBRID SYSTEMS;
PROGRAM ANALYSIS; VERIFICATION AND ABSTRACTION; TOOL DEMONSTRATIONS;
STOCHASTIC MODELS; SAT AND SMT; PARTIAL ORDER REDUCTION, BISIMULATION,
AND FAIRNESS; COMPETITION ON SOFTWARE VERIFICATION; PARAMETER SYNTHESIS;
PROGRAM SYNTHESIS; PROGRAM AND RUNTIME VERIFICATION; TEMPORAL LOGIC AND
AUTOMATA AND MODEL CHECKING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)12400301X |
| building | Verbundindex |
| bvnumber | BV042482202 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 DAT 310f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)906214528 (DE-599)BVBBV042482202 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-662-46681-0 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03692nmm a2200721zcb4500</leader><controlfield tag="001">BV042482202</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160713 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150402s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662466810</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-46681-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662466803</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-46680-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-46681-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)906214528</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042482202</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and Algorithms for the Construction and Analysis of Systems</subfield><subfield code="b">21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings</subfield><subfield code="c">edited by Christel Baier, Cesare Tinelli</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 725 p.)</subfield><subfield code="b">Ill.</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">9035</subfield><subfield code="x">0302-9743</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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">2015</subfield><subfield code="z">London</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="4"><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="5"><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="6"><subfield code="a">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baier, Christel</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)12400301X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">21.</subfield><subfield code="d">2015</subfield><subfield code="c">London</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1069960675</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">9035</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9035</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-46681-0</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=027917161&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=027917161&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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027917161</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 London gnd-content |
| genre_facet | Konferenzschrift 2015 London |
| id | DE-604.BV042482202 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:23:01Z |
| institution | BVB |
| institution_GND | (DE-588)1069960675 |
| isbn | 9783662466810 9783662466803 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027917161 |
| oclc_num | 906214528 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-706 DE-20 DE-739 DE-92 DE-29 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-706 DE-20 DE-739 DE-92 DE-29 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XVIII, 725 p.) Ill. |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings edited by Christel Baier, Cesare Tinelli Berlin ; Heidelberg Springer 2015 1 Online-Ressource (XVIII, 725 p.) Ill. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9035 0302-9743 Programmverifikation (DE-588)4135576-3 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Entscheidungsverfahren (DE-588)4637781-5 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 London gnd-content Softwareentwicklung (DE-588)4116522-6 s Systementwicklung (DE-588)4126945-7 s Systemanalyse (DE-588)4116673-5 s Programmverifikation (DE-588)4135576-3 s Hardwareverifikation (DE-588)4214982-4 s Model Checking (DE-588)4434799-6 s Entscheidungsverfahren (DE-588)4637781-5 s DE-604 Programmiersprache (DE-588)4047409-4 s Programmierung (DE-588)4076370-5 s Theoretische Informatik (DE-588)4196735-5 s Baier, Christel Sonstige (DE-588)12400301X oth TACAS 21. 2015 London Sonstige (DE-588)1069960675 oth Lecture Notes in Computer Science 9035 (DE-604)BV014880109 9035 https://doi.org/10.1007/978-3-662-46681-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027917161&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=027917161&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings Lecture Notes in Computer Science Programmverifikation (DE-588)4135576-3 gnd Systemanalyse (DE-588)4116673-5 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd Systementwicklung (DE-588)4126945-7 gnd Softwareentwicklung (DE-588)4116522-6 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Hardwareverifikation (DE-588)4214982-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd Model Checking (DE-588)4434799-6 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4116673-5 (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)4126945-7 (DE-588)4116522-6 (DE-588)4637781-5 (DE-588)4214982-4 (DE-588)4196735-5 (DE-588)4434799-6 (DE-588)1071861417 |
| title | Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |
| title_auth | Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |
| title_exact_search | Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |
| title_full | Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings edited by Christel Baier, Cesare Tinelli |
| title_fullStr | Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings edited by Christel Baier, Cesare Tinelli |
| title_full_unstemmed | Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings edited by Christel Baier, Cesare Tinelli |
| title_short | Tools and Algorithms for the Construction and Analysis of Systems |
| title_sort | tools and algorithms for the construction and analysis of systems 21st international conference tacas 2015 held as part of the european joint conferences on theory and practice of software etaps 2015 london uk april 11 18 2015 proceedings |
| title_sub | 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |
| topic | Programmverifikation (DE-588)4135576-3 gnd Systemanalyse (DE-588)4116673-5 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd Systementwicklung (DE-588)4126945-7 gnd Softwareentwicklung (DE-588)4116522-6 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Hardwareverifikation (DE-588)4214982-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd Model Checking (DE-588)4434799-6 gnd |
| topic_facet | Programmverifikation Systemanalyse Programmierung Programmiersprache Systementwicklung Softwareentwicklung Entscheidungsverfahren Hardwareverifikation Theoretische Informatik Model Checking Konferenzschrift 2015 London |
| url | https://doi.org/10.1007/978-3-662-46681-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027917161&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=027917161&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT baierchristel toolsandalgorithmsfortheconstructionandanalysisofsystems21stinternationalconferencetacas2015heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2015londonukapril11182015proceedings AT tacaslondon toolsandalgorithmsfortheconstructionandanalysisofsystems21stinternationalconferencetacas2015heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2015londonukapril11182015proceedings |