Animation and Model Checking of CSP and B using Prolog Technology


Leuschel, Michael, Adhianto, Laksono, Butler, Michael, Ferreira, Carla and Mikhailov, Leonid, (2001) Animation and Model Checking of CSP and B using Prolog Technology Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (eds.) At Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001. , pp. 97-109.

Download

[img] Postscript leuschel.ps - Other
Download (1MB)

Description/Abstract

We describe practical experiences of using a logic programming based approach to model and reason about critical systems. We argue that logic programming with co-routining, constraints, and tabling is a good foundation for developing, animating, and model checking new specification languages. We present animators and model checkers currently being developed for two different extensions of CSP and for the B method.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001, 2001-09-01
Organisations: Electronic & Software Systems
ePrint ID: 256022
Date :
Date Event
September 2001Published
Date Deposited: 11 Sep 2001
Last Modified: 17 Apr 2017 23:11
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/256022

Actions (login required)

View Item View Item