High-Integrity Runtime Verification.

Alwyn E. Goodloe Klaus Havelund

Published in: Computer (2024)

Keyphrases

wide range
database systems
data sets
databases
social networks
computer vision
information systems
model checking
high levels
small size
formal verification
integrity verification
website
formal methods
database integrity