Automate where Automation Fails: Proof Strategies for Frama-C/WP.

Loïc Correnson Allan Blanchard Adel Djoudi Nikolai Kosmatov

Published in: TACAS (1) (2024)

Keyphrases

real time
artificial intelligence
decision trees
data structure
search strategies
theorem prover
online auctions