Using the Extensible Model Checker XTL to Verify StAC Business Specifications


Augusto, Juan Carlos, Leuschel, Michael, Butler, Michael and Ferreira, Carla (2003) Using the Extensible Model Checker XTL to Verify StAC Business Specifications. In, 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), Southampton, 02 - 03 Apr 2003. , 253-266.

Download

[img] PDF
Download (184Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: April 2-3
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 257687
Date Deposited: 04 May 2004
Last Modified: 27 Mar 2014 19:59
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/257687

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics