Login / Signup
Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification.
Raphaël Jakse
Yliès Falcone
Jean-François Méhaut
Kevin Pouget
Published in:
ISSRE (2017)
Keyphrases
</>
user interaction
model checking
neural network
signature verification
hardware designs
concurrent systems
formal verification
information systems
learning algorithm
user friendly
face verification
interactive video
virtual reality
formal methods
data mining
databases
data sets
database