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