Modular Verification of Programs with Effects and Effect Handlers in Coq.

Thomas Letan Yann Régis-Gianas Pierre Chifflier Guillaume Hiet

Published in: FM (2018)

Keyphrases

formal methods
negative effects
negative impact
factorial design
positive effects
interaction effects
symbolic execution
model checking
learning algorithm
face verification
data sets
formal verification
hardware designs