Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Wimmer, Simon"'
Model checkers for timed automata are widely used to verify safety-critical, real-time systems. State-of-the-art tools achieve scalability by intricate abstractions. We aim at further increasing the trust in their verification results, in particular
Externí odkaz:
http://arxiv.org/abs/2007.04150
Autor:
Longworth, Guy1, Wimmer, Simon2 simon.wimmer@tu-dortmund.de
Publikováno v:
European Journal of Philosophy. Dec2022, Vol. 30 Issue 4, p1547-1564. 18p.
Autor:
Mittmann, Gloria, Barnard, Adam, Zehetmayer, Sonja, Wimmer, Simon, Zehetner, Vanessa, Doerfler, Sylvia, Woodcock, Kate, Schrank, Beate
Publikováno v:
International Journal of Game-Based Learning (IJGBL); July 2024, Vol. 14 Issue: 1 p1-17, 17p
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:
Wimmer, Simon
Publikováno v:
British Journal for the History of Philosophy; Jan2024, Vol. 32 Issue 1, p126-149, 24p
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.
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.
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.
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:
Wimmer, Simon, Mutius, Joshua von
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems
Prior research has shown how to construct a mechanically verified model checker for timed automata, a popular formalism for modeling real-time systems. In this paper, we shift the focus from verified model checking to certifying unreachability. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::c4229fbdcb4c8d50b6bb84c849ae2cda
http://europepmc.org/articles/PMC7439749
http://europepmc.org/articles/PMC7439749