We methodically expand protocol narrations into terms of a process algebra in order to specify some of the checks that need to be made in a protocol. We then apply static analysis technology to develop an automatic validation procedure for protocols.
No takes yet. Share an insight, caveat, or question.
Bodei et al. (2005) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: