Sciweavers

Share
FORTE
2001

Implementing a Modal Logic over Data and Processes using XTL

12 years 1 months ago
Implementing a Modal Logic over Data and Processes using XTL
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying properties involving both data and transitions. In this paper we present a restricted prototype implementation of a model checker for LOTOS for queries written using the FULL logic. The model checker is developed within the CADP package using XTL.
Jeremy Bryans, Carron Shankland
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where FORTE
Authors Jeremy Bryans, Carron Shankland
Comments (0)
books