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.) 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), Southampton. 02 - 03 Apr 2003. pp. 253-266 .

Record type: Conference or Workshop Item (Paper)

Text

avocs03.pdf - Other

Download (188kB)

More information

Published date: 2003

Additional Information: Event Dates: April 2-3

Venue - Dates: 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), Southampton, 2003-04-02 - 2003-04-03

Organisations: Electronic & Software Systems

Learn more about Cyber Physical Systems research

Identifiers

Local EPrints ID: 257687

URI: http://eprints.soton.ac.uk/id/eprint/257687

PURE UUID: d515d1c0-de6a-4856-8862-86e5e3a3e772

ORCID for Michael Butler:

orcid.org/0000-0003-4642-5373

Catalogue record

Date deposited: 04 May 2004

Last modified: 15 Mar 2024 02:50

Export record

Share this record

Share this on Facebook Share this on Twitter Share this on Weibo

Contributors

Author: Juan Carlos Augusto

Author: Michael Leuschel

Author: Michael Butler

Author: Carla Ferreira

Editor: Michael Leuschel

Editor: Stefan Gruner

Editor: Stephane Lo Presti

Download statistics

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

Library staff additional information