creators_name: Leuschel, Michael
creators_id: leuschel@cs.uni-duesseldorf.de
type: book_section
datestamp: 2008-11-04 08:50:29
lastmod: 2010-04-19 15:05:50
metadata_visibility: show
title: Declarative Programming for Verification: Lessons and Outlook
ispublished: pub
subjects: deploy_tooldev
full_text_status: public
abstract: 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.
date: 2008
date_type: published
publisher: ACM Press
refereed: FALSE
book_title: Proceedings of PPDP'2008
citation:   Leuschel, Michael  (2008) Declarative Programming for Verification: Lessons and Outlook.   In:  Proceedings of PPDP'2008.   ACM Press.      
document_url: http://deploy-eprints.ecs.soton.ac.uk/42/1/ppdp8k-leuschel.pdf

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>