Vor Ort
Merkzettel Warenkorb
  • Produktbild: Verification, Model Checking, and Abstract Interpretation
  • Produktbild: Verification, Model Checking, and Abstract Interpretation
Band 14499

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I

Aus der Reihe Lecture Notes in Computer Science

73,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.01.2024

Herausgeber

Rayna Dimitrova + weitere

Verlag

Springer

Seitenzahl

352

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

563 g

Auflage

1st edition 2024

Sprache

Englisch

ISBN

978-3-031-50523-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.01.2024

Herausgeber

Verlag

Springer

Seitenzahl

352

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

563 g

Auflage

1st edition 2024

Sprache

Englisch

ISBN

978-3-031-50523-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

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: Verification, Model Checking, and Abstract Interpretation
  • Produktbild: Verification, Model Checking, and Abstract Interpretation

  • Abstract Interpretation.- Formal Runtime Error Detection During Development in the Automotive Industry.- Abstract Interpretation-Based Feature Importance for Support Vector Machines.- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.- Correctness Witness Validation by Abstract Interpretation.- Infinite-State Systems.- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.- Parameterized Verification of Disjunctive Timed Networks.- Resilience and Home-Space for WSTS.- Model Checking and Synthesis.- Generic Model Checking for Modal Fixpoint Logics in COOL-MC.- Model-Guided Synthesis for LTL over Finite Traces.- Solving Two-Player Games under Progress Assumptions.- AT, SMT, and Automated Reasoning Interpolation and Quantifiers in Ortholattices.- Function Synthesis for Maximizing Model Counting.- Boosting Constrained Horn Solving by Unsat Core Learning.- On the Verification of a Subgraph Construction Algorithm.- Efficient Local Search for Nonlinear Real Arithmetic.