Login / Signup
Automated Runtime Verification with Eagle.
Allen Goldberg
Klaus Havelund
Published in:
MSVVEIS (2005)
Keyphrases
</>
semi automated
semi automatic
model checking
fully automated
temporal logic
real world
computer assisted
databases
learning algorithm
case study
multiscale
digital libraries
computer aided
face verification