Vor Ort
Merkzettel Warenkorb
  • Produktbild: Tools and Algorithms for the Construction and Analysis of Systems
  • Produktbild: Tools and Algorithms for the Construction and Analysis of Systems
Band 10205

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 I

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.03.2017

Abbildungen

XXIV, 609 p. 152 illus.

Herausgeber

Axel Legay + weitere

Verlag

Springer Berlin

Seitenzahl

609

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

949 g

Auflage

1st ed. 2017

Sprache

Englisch

ISBN

978-3-662-54576-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.03.2017

Abbildungen

XXIV, 609 p. 152 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

609

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

949 g

Auflage

1st ed. 2017

Sprache

Englisch

ISBN

978-3-662-54576-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Tools and Algorithms for the Construction and Analysis of Systems
  • Produktbild: Tools and Algorithms for the Construction and Analysis of Systems
  • Invited Talk.- Validation, Synthesis and Optimization for Cyber-Physical Systems.- Verification Techniques.- An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP.- Combining String Abstract Domains for JavaScript Analysis: An Evaluation.-Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.- Bounded Quantifier Instantiation for Checking Inductive Invariants.- Proving Termination through Conditional Termination.-Efficient Certified Resolution Proof Checking.- Precise Widening Operators for Proving Termination by Abstract Interpretation.- Automatic Verification of Finite Precision Implementations of Linear Controllers.- Learning.- Learning Symbolic Automata.- ML for ML: Learning Cost Semantics by Experiment.- A Novel Learning Algorithm for Buchi Automata based on Family of DFAs and Classification Trees.- Synthesis.- Hierarchical Network Formation Games.- Synthesis of Recursive ADT Transformers fromReusable Templates.- Counterexample-Guided Model Synthesis.- Interpolation-Based GR(1) Assumptions Refinement.- Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation.- Scaling Enumerative Program Synthesis via Divide and Conquer.- Towards Parallel Boolean Functional Synthesis.- Encodings of Bounded Synthesis.- Tools.- HQSpre - An Effective Preprocessor for QBF and DQBF.- RPP: Automatic Proof of Relational Properties by Self-Composition.- autoCode4: Structural Controller Synthesis.- Automata.- Lazy Automata Techniques for WS1S.- From LTL and limit-deterministic Büchi automata to deterministic parity automata.- Index appearance record for transforming Rabin automata into parity automata.- Minimization of Visibly Pushdown Automata Using Partial Max-SAT.- Concurrency and Bisimulation.- CSimpl: a Framework for the Verification of Concurrent Programs using Rely-Guarante.- Fair Termination for Parameterized Probabilistic Concurrent Systems.-Forward Bisimulations for Nondeterministic Symbolic Finite Automata.- Up-To Techniques for Weighted Systems.- Hybrid Systems.- Rigorous Simulation-Based Analysis of Linear Hybrid Systems.- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-Linear Hybrid Automata.- Counterexample-guided Refinement of Template Polyhedra.