skip to content
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 Preview this item
ClosePreview this item
Checking...

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

Author: Christel Baier; C Tinelli
Publisher: Heidelberg : Springer, 2015.
Series: Lecture notes in computer science, 9035.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Christel Baier; C Tinelli
ISBN: 9783662466810 3662466813 3662466805 9783662466803
OCLC Number: 906936842
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xviii, 725 pages) : illustrations.
Contents: 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: delta-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.
Series Title: Lecture notes in computer science, 9035.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: TACAS 2015
Responsibility: Christel Baier, Cesare Tinelli (eds.).

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/906936842> # 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
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "906936842" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2486003289#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://dewey.info/class/004.21/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2486003289#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/2486003289#Topic/system_design> ; # System design
   schema:about <http://experiment.worldcat.org/entity/work/data/2486003289#Topic/system_analysis> ; # System analysis
   schema:about <http://experiment.worldcat.org/entity/work/data/2486003289#Topic/computation_by_abstract_devices> ; # Computation by Abstract Devices
   schema:about <http://experiment.worldcat.org/entity/work/data/2486003289#Topic/software_engineering> ; # Software Engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/2486003289#Topic/computer_software_verification> ; # Computer software--Verification
   schema:alternateName "TACAS 2015" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2486003289#Meeting/etaps_conference_18th_2015_london_england> ; # ETAPS (Conference) (18th : 2015 : London, England)
   schema:creator <http://experiment.worldcat.org/entity/work/data/2486003289#Meeting/tacas_conference_21st_2015_london_england> ; # TACAS (Conference) (21st : 2015 : London, England)
   schema:datePublished "2015" ;
   schema:description "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."@en ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/2486003289#Person/baier_christel> ; # Christel Baier
   schema:editor <http://experiment.worldcat.org/entity/work/data/2486003289#Person/tinelli_c_cesare> ; # Cesare Tinelli
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2486003289> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2486003289#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2486003289#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2486003289#Series/advanced_research_in_computing_and_software_science> ; # Advanced research in computing and software science
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2486003289#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/2486003289#CreativeWork/> ;
   schema:name "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"@en ;
   schema:productID "906936842" ;
   schema:url <http://dx.doi.org/10.1007/978-3-662-46681-0> ;
   schema:workExample <http://worldcat.org/isbn/9783662466803> ;
   schema:workExample <http://worldcat.org/isbn/9783662466810> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-662-46681-0> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/906936842> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2486003289#Meeting/etaps_conference_18th_2015_london_england> # ETAPS (Conference) (18th : 2015 : London, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2486003289#Place/london_england> ; # London, England)
   schema:name "ETAPS (Conference) (18th : 2015 : London, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Meeting/tacas_conference_21st_2015_london_england> # TACAS (Conference) (21st : 2015 : London, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2486003289#Place/london_england> ; # London, England)
   schema:name "TACAS (Conference) (21st : 2015 : London, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Person/baier_christel> # Christel Baier
    a schema:Person ;
   schema:familyName "Baier" ;
   schema:givenName "Christel" ;
   schema:name "Christel Baier" ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Person/tinelli_c_cesare> # Cesare Tinelli
    a schema:Person ;
   schema:familyName "Tinelli" ;
   schema:givenName "Cesare" ;
   schema:givenName "C." ;
   schema:name "Cesare Tinelli" ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Place/london_england> # London, England)
    a schema:Place ;
   schema:name "London, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Series/advanced_research_in_computing_and_software_science> # Advanced research in computing and software science
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/906936842> ; # 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
   schema:name "Advanced research in computing and software science" ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/906936842> ; # 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
   schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/906936842> ; # 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
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/906936842> ; # 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
   schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
   schema:name "Algorithm Analysis and Problem Complexity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Topic/computation_by_abstract_devices> # Computation by Abstract Devices
    a schema:Intangible ;
   schema:name "Computation by Abstract Devices"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Topic/computer_software_verification> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
   schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2486003289#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
   schema:name "Software Engineering"@en ;
    .

<http://worldcat.org/entity/work/data/2486003289#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/906936842> ; # 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
    .

<http://worldcat.org/isbn/9783662466803>
    a schema:ProductModel ;
   schema:description "print" ;
   schema:isbn "3662466805" ;
   schema:isbn "9783662466803" ;
    .

<http://worldcat.org/isbn/9783662466810>
    a schema:ProductModel ;
   schema:isbn "3662466813" ;
   schema:isbn "9783662466810" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/906936842> ; # 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
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/906936842>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/906936842> ; # 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
   schema:dateModified "2016-05-09" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.