Using AsmL for Runtime Verification.

Michael Barnett Wolfram Schulte Nikolai Tillmann

Published in: Abstract State Machines (2003)

Keyphrases

face verification
model checking
real time
relational databases
multiresolution
real world
machine learning
website
formal methods
person identification