A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version).

Tiago Soares Mário Pereira

Published in: CoRR (2023)

Keyphrases

multiscale
automated verification
main contribution
neural network
decision trees
databases
computer vision
multi agent
higher order
constraint satisfaction
formal verification