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

Runtime Verification

  • E-Book (pdf)
  • 203 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt Rule Systems for Runtime Verification: A Short Tutorial.- Verification, Testing and Statistics.- Type-Separated Bytecode - ... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 93.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

Inhalt

Rule Systems for Runtime Verification: A Short Tutorial.- Verification, Testing and Statistics.- Type-Separated Bytecode - Its Construction and Evaluation.- Runtime Verification of Safety-Progress Properties.- Monitor Circuits for LTL with Bounded and Unbounded Future.- State Joining and Splitting for the Symbolic Execution of Binaries.- The LIME Interface Specification Language and Runtime Monitoring Tool.- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.- Runtime Verification of C Memory Safety.- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis.- Hardware Supported Flexible Monitoring: Early Results.- DMaC: Distributed Monitoring and Checking.

Produktinformationen

Titel: Runtime Verification
Untertitel: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Editor:
EAN: 9783642046940
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 203
Veröffentlichung: 29.09.2009
Dateigrösse: 3.9 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"