A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang.

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

Published in: TFP (2020)

Keyphrases

test bed
databases
theorem prover
formal analysis
feature selection
multiscale
theorem proving
measurement data
subset selection
case study
probabilistic model
formal methods
legal reasoning
queueing systems
proof search