Vor Ort
Merkzettel Warenkorb
Produktbild: Automated Technology for Verification and Analysis
Band 9938

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.09.2016

Abbildungen

XI, 530 p. 102 illus.

Herausgeber

Cyrille Artho + weitere

Verlag

Springer

Seitenzahl

530

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

814 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-46519-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.09.2016

Abbildungen

XI, 530 p. 102 illus.

Herausgeber

Verlag

Springer

Seitenzahl

530

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

814 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-46519-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Automated Technology for Verification and Analysis
  • Keynote.- Synthesizing and Completely Testing Hardware based on Templates through Small Numbers of Test Patterns.- Markov Models, Chains, and Decision Processes.- Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. -Optimizing the Expected Mean Payoff in Energy Markov Decision Processes.- Parameter Synthesis for Markov Models: Faster Than Ever.- Bounded Model Checking for Probabilistic Programs.- Counter Systems, Automata.- How Hard Is It to Verify Flat Affine Counter Systems with the Finite Monoid Property.- Solving Language Equations using Flanked Automata.- Spot 2.0 - a Framework for LTL and ω-Automata Manipulation.- MoChiBA: Probabilistic LTL Model Checking Using Limit- Deterministic Büchi Automata.- Parallelism, Concurrency.- Synchronous Products of Rewrite Systems.- Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.- Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs.- Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems.- Complexity, Decidability.- On Finite Domains in First-Order Linear Temporal Logic.- Decidability Results for Multi-Objective Stochastic Games.- A Decision Procedure for Separation Logic in SMT.- Solving Mean-Payoff Games on the GPU.- Synthesis, Refinement.- Synthesizing Skeletons for Reactive Systems.- Observational Refinement and Merge for Disjunctive MTSs.- Equivalence-Based Abstraction Refinement for muHORS Model Checking.- Optimization, Heuristics, Partial-Order Reductions.- Greener Bits: Formal Analysis of Demand Response.- Heuristics for Checking Liveness Properties with Partial Order Reductions. - Partial-Order Reduction for GPU Model Checking.- Efficient Verification of Program Fragments: Eager POR.- Solving Procedures, Model Checking.- Skolem Functions for DQBF.- STL Model Checking of Continuous and Hybrid Systems.- Clause Sharing and Partitioning for Cloud-Based SMT Solving.- Symbolic Model Checking for Factored Probabilistic Models.- Program Analysis.- A Sketching-Based Approach for Debugging Using Test Cases.- Polynomial Invariants by Linear Algebra.- Certified Symbolic Execution.- Tighter Loop Bound Analysis.