"42","Declarative Programming for Verification: Lessons and Outlook","This paper summarises roughly ten years of experience using declarative programming for   developing tools to validate formal specifications.  More precisely, we present  insights gained and lessons learned while implementing animators and model checkers in Prolog for various specification languages,    ranging from process algebras such as CSP to model-based specifications such as Z and B.","http://deploy-eprints.ecs.soton.ac.uk/42/","Leuschel, Michael","UNSPECIFIED","       <span class=\"person_name\">Leuschel, Michael</span>     (2008)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/42/\"><em>Declarative Programming for Verification: Lessons and Outlook.</em></a>              In:         Proceedings of PPDP'2008.               ACM Press.                ","leuschel@cs.uni-duesseldorf.de","2008"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>