Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Dunets, Andriy"'
Autor:
Dunets, Andriy
te Datentypen eignen sich sehr gut für die High-Level Spezifikation von Software. Die algebraischen Spezifikationen von abstrakten Datentypen bringen durch die Strukturierung gute Überschaubarkeit des Entwurfs und erlauben die Ausdrucksstärke der
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::9766339712bf8f12f03b86a6a2f6ee63
https://opus.bibliothek.uni-augsburg.de/opus4/files/1377/Dissertation_Dunets.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/1377/Dissertation_Dunets.pdf
An integration of deductive verification and model checking have been investigated in numerous works over the last decade. We refer to the approaches, where theorem proving was used to reduce verification problems to a form which allows to apply mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::d7f143b690292e71332b877392cf965e
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/1289
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/1289
Model checking is known as an automatic verification technique which can be applied very efficiently. Formalisation of medical guidelines in Asbru enables us to apply formal verification on medical guidelines. In this deliverable we show, how model c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::92fdeddef969c565623ef360b32b876a
https://opus.bibliothek.uni-augsburg.de/opus4/files/1286/TR_2009_14.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/1286/TR_2009_14.pdf
In this paper we present an embedding of the most common branching time logics (CTL/CTL*) in an extension of interval temporal logic (ITL+). The significance of this result is threefold: first the theoretical aspect is, that branching time and linear
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::9dc0e85cb778608873cb2cf4dec5c94e
https://opus.bibliothek.uni-augsburg.de/opus4/files/1187/TR_2008_16.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/1187/TR_2008_16.pdf
Autor:
Dunets, Andriy
Verification of medical guidelines by model checking : a case study / A. Dunets ... - In: Model checking software : proceedings / 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Antti Valmar (ed.]. - Berlin u. a. : Spring
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::052ba8e8278344071505016c25ea5fbb
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35697
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35697
Autor:
Valmari, Antti, Bäumler, Simon, Balser, Michael, Dunets, Andriy, Reif, Wolfgang, Schmitt, Jonathan
Publikováno v:
Model Checking Software (9783540331025); 2006, p219-233, 15p