TitleUsing a Declarative Language to Build an Experimental Analysis Tool
Publication TypeConference Proceedings
Year of Publication2002
AuthorsMeadows, C.
Conference NamePADL '02
VolumeSpringer Verlag LNCS 2257

In this paper we give a brief summary of our experience in using a declarative language, Prolog, to develop an experimental formal analysis tool, the NRL Protocol Analyzer, which was updated and modified over the years to incorporate new theories and techniques. We discuss the benefits of using such an approach, and also some of the downsides.

Full Text


NRL Publication Release Number