On the Verification of Coordination

Autor: Paul Dechering, Izak van Langevelde

Publikováno v: Coordination Languages and Models ISBN: 9783540410201
COORDINATION

Scenario-based verification is introduced as a technique to deal with the complexity of coordination languages, which feature both data manipulation and concurrency. The approach is exemplified by a verification study of the software architecture SPL

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4afe808e1e5742da80e97073c86008ae
https://doi.org/10.1007/3-540-45263-x_25

Compressed and Distributed File Formats for Labeled Transition Systems

Autor: Izak van Langevelde, Bert Lisser, Stefan Blom

Publikováno v: Electronic Notes in Theoretical Computer Science. (1):68-83

With model checking techniques growing towards maturity, the availability for standardised file formats for labeled transition systems is more important than ever. A number of requirements for file formats are introduced, based on requirements for so

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d688878ece3a506c743b1ca98bc29192

A compositional architecture for simple design formally specified in DESIRE

Autor: Izak van Langevelde, Philipsen, Albert W., Jan Treur

Publikováno v: Vrije Universiteit Amsterdam
Langevelde, I V, Philipsen, A W & Treur, J 1993, A compositional architecture for simple design formally specified in DESIRE . in J Treur & T Wetter (eds), Formal specification of complex reasoning systems . Ellis Horwood, pp. 143-172 . < http://dl.acm.org/citation.cfm?id=183251 >

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ef6bf7205a0e1e3e949e9fb4e6da2661
https://research.vu.nl/en/publications/a35822bd-df06-4c41-ac3d-d9d05108bae9