A Case Study in Analytic Protocol Analysis in ACL2.

Max von Hippel Panagiotis Manolios Kenneth L. McMillan Cristina Nita-Rotaru Lenore D. Zuck

Published in: CoRR (2023)

Keyphrases

lightweight
quantitative analysis
database
data mining
artificial intelligence
cooperative
computational model
multi party