Login / Signup
Using SMT for dealing with nondeterminism in ASM-based runtime verification.
Paolo Arcaini
Angelo Gargantini
Elvinia Riccobene
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2014)
Keyphrases
</>
active shape model
model checking
formal verification
situation calculus
verification method
face verification
statistical machine translation
object detection
facial features
face alignment
functional verification