|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 5 van 16 gevonden artikelen
| Titel: |
Model checking for the concurrent constraint paradigm |
| Auteur: |
Alicia Villanueva |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 17 (2004) nr. 2 pagina's 93-94 |
| Jaar: |
2004-07-08 |
| Inhoud: |
This paper abstracts the contents of the PhD dissertation which has been recently defended by the author. Although model checking was defined to automatically verify hardware, in the last decades it has been showed that it is possible to apply the technique also to software. The concurrent constraint paradigm is a simple but powerful computational model which we can use to specify reactive and hybrid systems. The thesis considers three of the timed languages of this paradigm. It presents two methods to apply the model checking technique to two different timed concurrent constraint languages, and it is also defined a denotational semantics which is fully abstract w.r.t. the operational behavior of another timed concurrent constraint language. This new semantics allows one to perform useful static analysis of programs. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 5 van 16 gevonden artikelen
| << vorige | volgende >> |