Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I / edited by Jan Friso Groote, Kim Guldstrand Larsen.

Format:

Book

Contributor:

Groote, Jan Friso., Editor.

Larsen, Kim Guldstrand., Editor.

SpringerLink (Online service)

Series:

Computer Science (SpringerNature-11645)

LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 12651

Theoretical Computer Science and General Issues, 2512-2029 ; 12651

Language:

English

Subjects (All):

Computer science.

Computer engineering.

Computer networks.

Microprogramming.

Logic programming.

Theory of Computation.

Computer Engineering and Networks.

Control Structures and Microprogramming.

Logic in AI.

Local Subjects:

Theory of Computation.

Computer Engineering and Networks.

Control Structures and Microprogramming.

Logic in AI.

Physical Description:

1 online resource (XXI, 471 pages) : 106 illustrations

Edition:

1st ed. 2021.

Contained In:

Springer Nature eBook

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2021.

System Details:

text file PDF

Summary:

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.

Contents:

Game Theory

A Game for Linear-time - Branching-time Spectroscopy

On Satisficing in Quantitative Games

Quasipolynomial Computation of Nested Fixpoints

SMT Verification

A Flexible Proof Format for SAT Solver-Elaborator Communication

Generating Extended Resolution Proofs with a BDD-Based SAT Solver

Bounded Model Checking for Hyperproperties

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

SAT Solving with GPU Accelerated Inprocessing

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions

Probabilities

Finding Provably Optimal Markov Chains

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

Analysis of Markov Jump Processes under Terminal Constraints

Multi-objective Optimization of Long-run Average and Total Rewards

Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests

Timed Systems

Timed Automata Relaxation for Reachability

Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring

Neural Networks

Synthesizing Context-free Grammars from Recurrent Neural Networks

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models

Improving Neural Network Verification through Spurious Region Guided Refinement

Analysis of Network Communication Resilient Capacity-Aware Routing

Network Traffic Classification by Program Synthesis. .

Other Format:

Printed edition:

ISBN:

978-3-030-72016-2

9783030720162

Access Restriction:

Restricted for use by site license.