Industrial deployment of system engineering methods providing high dependability and productivity


Declarative Programming for Verification: Lessons and Outlook

Leuschel, Michael (2008) Declarative Programming for Verification: Lessons and Outlook. In: Proceedings of PPDP'2008. ACM Press.

PDF - Accepted Version


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.

Item Type:Book Section
Subjects:Tool developments
ID Code:42
Deposited By:Prof Michael Leuschel
Deposited On:04 Nov 2008 08:50
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved