Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Wasser, Nathan"'
Autor:
Kamburjan, Eduard, Wasser, Nathan
Publikováno v:
EPTCS 365, 2022, pp. 1-16
We present a novel and well automatable approach to formal verification of C programs with underspecified semantics, i.e., a language semantics that leaves open the order of certain evaluations. First, we reduce this problem to non-determinism of con
Externí odkaz:
http://arxiv.org/abs/2208.04630
Autor:
Kamburjan, Eduard, Wasser, Nathan
We present a novel and well automatable approach to formal verification of programs with underspecified semantics, i.e., a language semantics that leaves open the order of certain evaluations. First, we reduce this problem to non-determinism of distr
Externí odkaz:
http://arxiv.org/abs/2110.01964
Autor:
Wasser, Nathan, Steinhöfel, Dominic
Indexed loop scopes have been shown to be a helpful tool in creating sound loop invariant rules in dynamic logic for programming languages with abrupt completion, such as Java. These rules do not require program transformation of the loop body, as ot
Externí odkaz:
http://arxiv.org/abs/2002.00776
Autor:
Wasser, Nathan Daniel
This dissertation deals with the automatic generation of sound specifications from a given program in the form of loop invariants and method contracts. Sound specifications are extremely useful, in that without them analysis of non-trivial programs b
Autor:
Wasser, Nathan, Steinhöfel, Dominic
Loop scopes have been shown to be a helpful tool in creating sound loop invariant rules which do not require program transformation of the loop body. Here we extend this idea from while-loops to for-loops and also present sound loop unrolling rules f
Externí odkaz:
http://arxiv.org/abs/1901.06839
Publikováno v:
In Science of Computer Programming 1 April 2021 204
Autor:
Kutscher, Vladimir, Ruland, Sebastian, Müller, Patrick, Wasser, Nathan, Lochau, Malte, Anderl, Reiner, Schürr, Andy, Mezini, Mira, Hähnle, Reiner
Publikováno v:
In Procedia CIRP 2020 90:37-42
Autor:
Wasser, Nathan
Abhandlung--Zürich, 1930.
Lebenslauf. "Bibliographie," l leaf at end.
Lebenslauf. "Bibliographie," l leaf at end.
Externí odkaz:
http://catalog.hathitrust.org/api/volumes/oclc/3980155.html
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:
Deductive Software Verification - The KeY Book; 2016, p167-189, 23p