Combining Static and Runtime Verification with AC and Coq.

Giorgio Audrito Daniel Haures

Published in: VORTEX@ISSTA (2023)

Keyphrases

formal methods
model checking
machine learning
dynamic analysis
databases
information retrieval
image processing
artificial neural networks
evolutionary algorithm
theorem prover
formal analysis
formal verification