Verifying Min-Plus Computations with Coq.

Lucien Rakotomalala Pierre Roux Marc Boyer

Published in: NFM (2021)

Keyphrases

model checking
formal methods
theorem prover
neural network
image processing
computer science
lower bound
multi objective