From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques.

Kristin Yvonne Rozier

Published in: SpringSim (2019)

Keyphrases

signature verification
model checking
simulation model
verification method
decision trees
three dimensional
data structure
digital images
numerical simulations
face verification
high security
concurrent systems