Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Schiffl, Jonas"'
Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning. This is unfortunate, as floating-point arithmetic is particularly unintuitive
Externí odkaz:
http://arxiv.org/abs/2101.08733
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.
Software security becomes increasingly important nowadays. Security should be considered as early as possible in the software development. However, considering different aspects of security is a complex task. In this paper, we propose an extendable f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dcd7fa2c57a803ac1345b8fd314724d
https://publikationen.bibliothek.kit.edu/1000143320
https://publikationen.bibliothek.kit.edu/1000143320
Autor:
Reiche, Frederik, Schiffl, Jonas, Weigl, Alexander, Heinrich, Robert, Beckert, Bernhard, Reussner, Ralf
In this report, we present an approach for the quantification of correctness of service-oriented software systems by combining the modeling tool Palladio and the deductive verification approach KeY. Our approach uses Palladio for modeling the service
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c623b5fb73e425b564eff28eb01a0b63
https://publikationen.bibliothek.kit.edu/1000128855
https://publikationen.bibliothek.kit.edu/1000128855
Smart contracts are programs building on blockchain technology. They implement functionality that has been agreed on between the concerned parties on a network. However, their immutability and exposed position make them vulnerable to programming erro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dfcb8ccf3e5e040f72b7eed0bab65576
https://publikationen.bibliothek.kit.edu/1000092715
https://publikationen.bibliothek.kit.edu/1000092715
Autor:
Töberg, Jan-Philipp
Ein Smart Contract ist ein auf der Blockchain basierendes Softwaresystem zur dezentralen und unveränderlichen Behandlung von Transaktionen.Aufgrund dieser zugrundeliegenden Unveränderlichkeit können Smart Contracts nach ihrer initialen Veröffentl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb5d9d7ac0696854e62d64b396c7c6f5