Leuschel, Michael, Adhianto, Laksono, Butler, Michael, Ferreira, Carla and Mikhailov, Leonid,
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.
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.
Conference or Workshop Item
|Venue - Dates:
||Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001, 2001-09-01
||Electronic & Software Systems
||11 Sep 2001
||23 Feb 2017 15:00
|Further Information:||Google Scholar|
Actions (login required)