Bensalem / Peled | Runtime Verification | E-Book | sack.de
E-Book

E-Book, Englisch, Band 5779, 203 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Bensalem / Peled Runtime Verification

9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
2009
ISBN: 978-3-642-04694-0
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

E-Book, Englisch, Band 5779, 203 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-642-04694-0
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Bensalem / Peled Runtime Verification jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Bensalem, Saddek
Peled, Doron A.

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.