Leveraging DTrace for Runtime Verification.

Carl Martin Rosenberg Martin Steffen Volker Stolz

Published in: RV (2016)

Keyphrases

model checking
face verification
formal verification
database
real time
genetic algorithm
decision making
video sequences
special case
formal analysis
signature verification