|Title||Using a Declarative Language to Build an Experimental Analysis Tool|
|Publication Type||Conference Proceedings|
|Year of Publication||2002|
|Conference Name||PADL '02|
|Volume||Springer 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.
|NRL Publication Release Number|| |