Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Tews, Hendrik."'
Autor:
Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus
Publikováno v:
EPTCS 102, 2012, pp. 156-166
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore complex and thus less predictable hardware, quantitative and probabilistic
Externí odkaz:
http://arxiv.org/abs/1211.6196
Publikováno v:
EPTCS 102, 2012, pp. 73-87
In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects. It is well-known that such an underspecified data-type semantics can be
Externí odkaz:
http://arxiv.org/abs/1211.6190
Autor:
Tews, Hendrik
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 December 2004 106:335-353
Autor:
Tews, Hendrik
Publikováno v:
In Electronic Notes in Theoretical Computer Science October 2002 65(1):317-336
Autor:
Becker, Hanno, Crespo, Juan Manuel, Galowicz, Jacek, Hensel, Ulrich, Hirai, Yoichi, Kunz, César, Nakata, Keiko, Sacchini, Jorge Luis, Tews, Hendrik, Tuerk, Thomas
Publikováno v:
FM 2016: Formal Methods; 2016, p69-84, 16p
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:
Tews, Hendrik
This thesis is about coalgebraic methods in software specification and verification. It extends known techniques of coalgebraic specification to a more general level to pave the way for real world applications of software verification. There are two
Autor:
Tews, Hendrik
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2000 33:316-316
Autor:
Baier, Christel, Engel, Benjamin, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus
Publikováno v:
NASA Formal Methods; 2013, p307-321, 15p