Tools and algorithms for the construction and analysis of systems :: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.: Part II /: Axel Legay, Tiziana Margaria (eds.).

Legay, Axel,; Margaria-Steffen, Tiziana,

doi:10.1007/978-3-662-54580-5

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part II / Axel Legay, Tiziana Margaria (eds.).

TACAS (Conference) (23rd : 2017 : Uppsala, Sweden); Legay, Axel, editor.; Margaria-Steffen, Tiziana, 1964- editor.; ETAPS (Conference) (20th : 2017 : Uppsala, Sweden), jointly held conference.

2017

QA76.9.S88

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part II / Axel Legay, Tiziana Margaria (eds.).

Meeting Name

TACAS (Conference) (23rd : 2017 : Uppsala, Sweden)

ISBN

9783662545805 (electronic book)
3662545802 (electronic book)
9783662545799
3662545799

DOI

https://doi.org/10.1007/978-3-662-54580-5

Published

Berlin, Germany : Springer, 2017.

Language

English

Description

1 online resource (xxiv, 411 pages) : illustrations.

Item Number

10.1007/978-3-662-54580-5 doi

Call Number

QA76.9.S88

Dewey Decimal Classification

004.2/1

Summary

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP. .

Note

International conference proceedings.

Bibliography, etc. Note

Includes bibliographical references and author index.

Access Note

Access limited to authorized users.

Digital File Characteristics

text file PDF

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed April 7, 2017).

Added Author

Legay, Axel, editor.
Margaria-Steffen, Tiziana, 1964- editor.

Added Meeting Name

ETAPS (Conference) (20th : 2017 : Uppsala, Sweden), jointly held conference.

Series

Lecture notes in computer science ; 10206.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.

Available in Other Form

Print version: 9783662545768

Linked Resources

Online Access

Record Appears in

Online Resources > Ebooks
All Resources

Security
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions
Discriminating Traces with Time
Directed Automated Memory Performance Testing
Context-bounded Analysis for POWER
Run-Time Verification and Logic. -Rewriting-Based Runtime Verification of Alternation-Free HyperLTL Formulas
Almost Event-Rate Independent Monitoring of Metric Temporal Logic
Optimal Translation of LTL to Limit Deterministic Automata
Quantitative Systems
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
JANI: Quantitative Model and Tool Interaction
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
Long-run Rewards for Markov Automata
SAT and SMT
HiFrog: SMT-based Function Summarization for Software Verification
Congruence Closure with Free Variables
On Optimization Modulo Theories, MaxSMT and Sorting Networks.
The automatic detection of token structures and invariants using SAT checking
Maximizing the Conditional Expected Reward for Reaching the Goal. -ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
FlyFast: A Mean Field Model Checker. -ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
SV COMP
Software Verification with Validation of Results (Report on SV-COMP 2017)
AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs (Competition Contribution)
CPA-BAM-BnB: Block-Abstraction Memoization and Region-based Memory Models for Predicate Abstractions (Competition Contribution)
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs (Competition Contribution)
Forester: From Heap Shapes to Automata Predicates (Competition Contribution)
HipTNT+: A Termination and Non-termination Analyzer by Second-order Abduction (Competition Contribution)
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation (Competition Contribution)
Skink: Static Analysis of LLVM Intermediate Representation (Competition contribution)
Symbiotic 4: Beyond Reachability (Competition Contribution)
Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)
Ultimate Automizer with an On-demand Construction of Floyd-Hoare Automata (Competition Contribution)
Ultimate Taipan: Trace Abstraction and Abstract Interpretation (Competition Contribution)
VeriAbs : Verification by Abstraction (Competition Contribution). .

Browse Subjects

Show more subjects...

Linked e-resources

Details

Table of Contents

Browse Subjects

Statistics