Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Kloos, Johannes"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Injury April 2020 51(4):1118-1124
We give an incremental, inductive (IC3) procedure to check coverability of well-structured transition systems. Our procedure generalizes the IC3 procedure for safety verification that has been successfully applied in finite-state hardware verificatio
Externí odkaz:
http://arxiv.org/abs/1301.7321
Additional file 1. Supplement 1.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aabe4babbe685fe77bdefff87b24b452
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kloos, Johannes, Eschbach, Robert
Publikováno v:
In Electronic Notes in Theoretical Computer Science 3 June 2010 263:145-160
Publikováno v:
Journal of Experimental Orthopaedics; 3/21/2022, Vol. 9 Issue 1, p1-9, 9p
Autor:
Kloos, Johannes
Asynchronous concurrency is a wide-spread way of writing programs that deal with many short tasks. It is the programming model behind event-driven concurrency, as exemplified by GUI applications, where the tasks correspond to event handlers, web appl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::286cc095a09eaf1de480cda5ac8fc729
https://hdl.handle.net/21.11116/0000-0009-8422-B
https://hdl.handle.net/21.11116/0000-0009-8422-B
Publikováno v:
29th European Conference on Object-Oriented Programming
Leibniz International Proceedings in Informatics
Leibniz International Proceedings in Informatics
We present a refinement type system for reasoning about asynchronous programs manipulating shared mutable state. Our type system guarantees the absence of races and the preservation of user-specified invariants using a combination of two ideas: refin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a9bf394e73cd365ccc5d3f72478372b
https://hdl.handle.net/11858/00-001M-0000-0029-7A92-F
https://hdl.handle.net/11858/00-001M-0000-0029-7A92-F
In dieser Arbeit stellen wir erste Ideen für eine Methode zur automatischen Ableitung risikoreicher Testfälle vor. Diese Testfälle werden aus Modellen abgeleitet, die speziell zum Testen erstellt wurden. Das hier vorgestellte Verfahren ist eine An
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______610::be7b521ca5251c21433a692aa7bf55bc
https://publica.fraunhofer.de/handle/publica/219968
https://publica.fraunhofer.de/handle/publica/219968