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