عنوان

Tools and algorithms for the construction and analysis of systems :

شابک

3319899600

شابک

9783319899602

شابک اشتباه

9783319899596

عنوان اصلي

Tools and algorithms for the construction and analysis of systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.

نام نخستين پديدآور

Dirk Beyer, Marieke Huisman (eds.).

مشخصه جلد

Part I /

محل نشرو پخش و غیره

Cham, Switzerland :

نام ناشر، پخش کننده و غيره

Springer Open,

تاریخ نشرو بخش و غیره

2018.

نام خاص و کميت اثر

1 online resource (xx, 429 pages) :

ساير جزييات

illustrations

عنوان فروست

Advanced research in computing and software science

عنوان فروست

Lecture notes in computer science,

عنوان فروست

LNCS sublibrary. SL 1, Theoretical computer science and general issues

مشخصه جلد

10805

شاپا ي ISSN فروست

0302-9743 ;

متن يادداشت

Includes author index.

متن يادداشت

International conference proceedings.

متن يادداشت

Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy -- Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks.

بدون عنوان

0

متن يادداشت

This book is Open Access under a CC BY licence.

منبع سفارش / آدرس اشتراک

Springer Nature

شماره انبار

com.springer.onix.9783319899602

عنوان اصلي به زبان ديگر

TACAS 2018

موضوع مستند نشده

Computer software-- Verification, Congresses.

موضوع مستند نشده

System analysis, Congresses.

موضوع مستند نشده

System design, Congresses.

موضوع مستند نشده

Algorithms & data structures.

موضوع مستند نشده

Computer programming-- software development.

موضوع مستند نشده

Computer software-- Verification.

موضوع مستند نشده

Computers-- Hardware-- Handheld Devices.

موضوع مستند نشده

Computers-- Information Theory.

موضوع مستند نشده

Computers-- Programming-- General.

موضوع مستند نشده

Computers-- Social Aspects-- Human-Computer Interaction.

موضوع مستند نشده

Computers-- Software Development & Engineering-- General.

موضوع مستند نشده

Information technology: general issues.

موضوع مستند نشده

Software Engineering.

موضوع مستند نشده

System analysis.

موضوع مستند نشده

System design.

موضوع مستند نشده

Systems analysis & design.

شماره

ويراست

شماره رده

مستند نام اشخاص تاييد نشده

Beyer, Dirk,1972-

مستند نام اشخاص تاييد نشده

Huisman, Marieke

مستند نام تنالگان تاييد نشده

TACAS (Conference)(24th :2018 :, Thessalonikē, Greece)

مستند نام تنالگان تاييد نشده

ETAPS (Conference)(21st :2018 :, Thessalonikē , Greece)

تاريخ عمليات

20200823115032.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y