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. In, Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001 , 97-109.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_postscript.png) |
Postscript
Download (1696Kb) |
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) |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 256022 |
| Date Deposited: | 11 Sep 2001 |
| Last Modified: | 02 Mar 2012 14:02 |
| Contributors: | Leuschel, Michael (Author) Adhianto, Laksono (Author) Butler, Michael (Author) Ferreira, Carla (Author) Mikhailov, Leonid (Author) Leuschel, Michael (Editor) Podelski, Andreas (Editor) Ramakrishnan, C.R. (Editor) Ultes-Nitsche, Ulrich (Editor) |
| Date: | September 2001 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/256022 |
Actions (login required)
 |
View Item |
