Trace-based Deductive Verification.

Richard Bubel Dilian Gurov Reiner Hähnle Marco Scaletta

Published in: LPAR (2023)

Keyphrases

model checking
object oriented
face verification
relational databases
data model
formal verification
information systems
image processing
case study
multiscale
search algorithm
knowledge representation
cryptographic protocols
concurrent systems
abductive inference