Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal.

Wojciech Jamroga Yan Kim Damian Kurpiewski Peter Y. A. Ryan

Published in: CoRR (2020)

Keyphrases

formal model
computational model
low cost
neural network
gray level