Towards Trace-based Deductive Verification (Tech Report).

Richard Bubel Dilian Gurov Reiner Hähnle Marco Scaletta

Published in: CoRR (2022)

Keyphrases

object oriented
model checking
high tech
database languages
real world
concurrent systems
neural network
three dimensional
face verification
formal verification
verification method