Vor Ort
Merkzettel Warenkorb
  • Produktbild: Static Analysis
  • Produktbild: Static Analysis
Band 13790 - 13%

Static Analysis 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

Aus der Reihe Lecture Notes in Computer Science
13% sparen

64,99 € UVP 74,89 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.12.2022

Herausgeber

Gagandeep Singh + weitere

Verlag

Springer

Seitenzahl

475

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

733 g

Auflage

1st edition 2022

Sprache

Englisch

ISBN

978-3-031-22307-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.12.2022

Herausgeber

Verlag

Springer

Seitenzahl

475

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

733 g

Auflage

1st edition 2022

Sprache

Englisch

ISBN

978-3-031-22307-5

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: Static Analysis
  • Produktbild: Static Analysis
  • Invited Talks.- Specification-Guided Reinforcement Learning.- Towards Efficient Reasoning of Quantum Programs.- Regular Papers.- Solving Invariant Generation for Unsolvable Loops.- Principles of Staged Static+Dynamic Partial Analysis.- SecWasm: Information Flow Control for WebAssembly.- Lifting Numeric Relational Domains to Algebraic Data Types.- Automated Synthesis of Asynchronizations.- Case Study on Veri cation-Witness Validators: Where We Are and Where We Go.- Deciding program properties via complete abstractions on bounded

    domains.- Invariant Inference With Provable Complexity From the Monotone Theory.- Efficient Modular SMT-Based Model Checking of Pointer Programs.- Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation.- Bootstrapping Library-Based Synthesis.- Boosting Robustness Veri cation of Semantic Feature Neighborhoods.- Fast and incremental computation of weak control closure.- Local Completeness Logic on Kleene Algebra with Tests.- Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.- Parameterized Recursive Re nement Types for Automated Program Verification.- Adversarial Logic.- CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.