Runtime Verification with the RV System.

Patrick O'Neil Meredith Grigore Rosu

Published in: RV (2010)

Keyphrases

model checking
face verification
functional verification
information systems
formal verification
concurrent systems
real world
information retrieval
image segmentation
evolutionary algorithm
image registration
asynchronous circuits