PubSub implementation in Haskell with formal verification in Coq.

Boro Sitnikovski Biljana Stojcevska Lidija Goracinova-Ilieva Irena Stojmenovska

Published in: CoRR (2020)

Keyphrases

formal verification
model checking
automated verification
functional programming
symbolic model checking
programming language
formal specification
efficient implementation
specification language
model checker
bounded model checking
reinforcement learning
open source
theorem prover
formal methods