There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 13

Record: found
Abstract: not found
Article: not found

A brief account of runtime verification

Christian Schallhart, Martin Leucker (2009)

0 comments Cited 67 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Rule-Based Runtime Verification

Howard Barringer, Allen Goldberg, Klaus Havelund … (2004)

0 comments Cited 26 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

What can you verify and enforce at runtime?

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier (2012)

0 comments Cited 21 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2012

Pages: 68-84

DOI: 10.1007/978-3-642-32759-9_9

SO-VID: aac99496-16ae-47e4-b7f1-5009144924d5

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 16

Monitoring Metric First-Order Temporal Properties
Authors: David Basin, Felix Klaedtke, Samuel Muller …
Introduction to Runtime Verification
Authors: Ezio Bartocci, Yliès Falcone, Adrian Francalanza …
Rule-based runtime verification revisited
Authors: Klaus Havelund

See all cited by

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

Read this book at

Related collections

Airburst and Crater Research

Most cited references 13

A brief account of runtime verification

Rule-Based Runtime Verification

What can you verify and enforce at runtime?

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,344

Cited by 16