Article thumbnail
Location of Repository

Animation and Model Checking of CSP and B using Prolog Technology

By Michael Leuschel, Laksono Adhianto, Michael Butler, Carla Ferreira and Leonid Mikhailov

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

Year: 2001
OAI identifier: oai:eprints.soton.ac.uk:256022
Provided by: e-Prints Soton
Sorry, our data provider has not provided any external links therefore we are unable to provide a link to the full text.

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.