Willkommen, schön sind Sie da!
Logo Ex Libris

Computer Aided Verification

  • Kartonierter Einband
  • 704 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on ... Weiterlesen
20%
56.50 CHF 45.20
Sie sparen CHF 11.30
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*

The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:

Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.

Part II: model checking; software verification; stochastic systems; and synthesis.

*The conference was held virtually due to the COVID-19 pandemic.



Inhalt

Model Checking.- Software Verification.- Stochastic Systems.- Synthesis.

Produktinformationen

Titel: Computer Aided Verification
Untertitel: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Editor:
EAN: 9783030532901
ISBN: 3030532909
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Anzahl Seiten: 704
Gewicht: 1048g
Größe: H235mm x B155mm x T37mm
Jahr: 2020
Untertitel: Englisch
Auflage: 1st ed. 2020

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