Caires, Luis and Tavares Sousa, David and Torres Vieira, Hugo Checking for choreography conformance using spatial logic model-checking. Technical Report #03/2007 Departamento de Informática - Universidade nova de Lisboa (Unpublished)
This is the latest version of this item.
|
PDF (Pre-print version)
Download (83kB) | Preview |
Official URL: http://citi.di.fct.unl.pt/publication/techreport.p...
Abstract
We illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance properties
| Item Type: | Working Paper (Technical Report) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Hugo Vieria |
| Date Deposited: | 26 Jun 2015 12:52 |
| Last Modified: | 26 Jun 2015 12:52 |
| URI: | http://eprints.imtlucca.it/id/eprint/2723 |
Available Versions of this Item
- Checking for choreography conformance using spatial logic model-checking. (deposited 26 Jun 2015 12:52) [Currently Displayed]
Actions (login required)
 |
Edit Item |
