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

Verification, Model Checking, and Abstract Interpretation

  • E-Book (pdf)
  • 540 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract... Weiterlesen
CHF 87.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.
The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.



Inhalt

Program verification.- Model checking.- Abstract interpretation.- Program synthesis.- Static analysis.- Type systems.- Deductive methods.- Program certification.- Decision procedures.- Theorem proving.- Program certification.- Debugging techniques.- Program transformation.- Optimization.- Hybrid and cyber-physical systems.

Produktinformationen

Titel: Verification, Model Checking, and Abstract Interpretation
Untertitel: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Editor:
EAN: 9783319737218
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 03.01.2018
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 9.88 MB
Anzahl Seiten: 540

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"