Runtime Verification as Documentation.

Dennis Dams Klaus Havelund Sean Kauffman

Published in: ISoLA (2) (2022)

Keyphrases

model checking
software evolution
concurrent systems
high security
face verification
real time
formal methods
integrity verification
verification method
asynchronous circuits
person identification
signature verification
relational databases
information systems
computer vision
artificial intelligence
data sets