A Proof Assistant Based Formalisation of Core Erlang.

Péter Bereczky Dániel Horpácsi Simon J. Thompson

Published in: CoRR (2020)

Keyphrases

formal analysis
test bed
data sets
case study
multiscale
special case
theorem prover
databases
computer vision
information systems
feature selection
image processing
intelligent assistant