1. Adventsüberraschung: 10% Rabatt auf alle Filme! Jetzt mehr erfahren.
Willkommen, schön sind Sie da!
Logo Ex Libris

Automated Technology for Verification and Analysis

  • Kartonierter Einband
  • 588 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and An... Weiterlesen
CHF 118.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020.
The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.

The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results.

The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.



Inhalt

Neural Networks and Machine Learning.- Automata.- Logics.- Techniques for Verification, Analysis and Testing.- Model Checking and Decision Procedures.- Synthesis.- Randomization and Probabilistic Systems.

Produktinformationen

Titel: Automated Technology for Verification and Analysis
Untertitel: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
Editor:
EAN: 9783030591519
ISBN: 3030591514
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Anzahl Seiten: 588
Gewicht: 879g
Größe: H235mm x B155mm x T31mm
Jahr: 2020
Untertitel: Englisch
Auflage: 1st ed. 2020

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"