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 Leuschel, Michael, Gruner, Stefan and Lo Presti, Stephane (eds.) At 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003). 02 - 03 Apr 2003. , pp. 253-266.

Download

[img] PDF avocs03.pdf - Other
Download (188kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: April 2-3
Venue - Dates: 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), 2003-04-02 - 2003-04-03
Organisations: Electronic & Software Systems
ePrint ID: 257687
Date :
Date Event
2003Published
Date Deposited: 04 May 2004
Last Modified: 17 Apr 2017 22:49
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/257687

Actions (login required)

View Item View Item