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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (184Kb) |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: April 2-3 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 257687 |
| Date Deposited: | 04 May 2004 |
| Last Modified: | 02 Mar 2012 03:42 |
| Contributors: | Augusto, Juan Carlos (Author) Leuschel, Michael (Author) Butler, Michael (Author) Ferreira, Carla (Author) Leuschel, Michael (Editor) Gruner, Stefan (Editor) Lo Presti, Stephane (Editor) |
| Date: | 2003 |
| Additional Information: | Event Dates: April 2-3 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/257687 |
Actions (login required)
 |
View Item |
