Towards Full Proof Automation in Frama-C Using Auto-active Verification.

Allan Blanchard Frédéric Loulergue Nikolai Kosmatov

Published in: NFM (2019)

Keyphrases

formal proof
theorem proving
face verification
theorem prover
formal verification
proof planning
face detection
model checking
inference rules
signature verification
concurrent systems
artificial neural networks
neural network
database systems
formal analysis
proof search
decision making