C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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