Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Runge, Tobias"'
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 2 (June 7, 2023) lmcs:10384
Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is comple
Externí odkaz:
http://arxiv.org/abs/2211.15261
Autor:
Becker, Mike, Meyer, Roland, Runge, Tobias, Schaefer, Ina, van der Wall, Sören, Wolff, Sebastian
Intensive testing using model-based approaches is the standard way of demonstrating the correctness of automotive software. Unfortunately, state-of-the-art techniques leave a crucial and labor intensive task to the test engineer: identifying bugs in
Externí odkaz:
http://arxiv.org/abs/2208.14290
In security-critical software applications, confidential information must be prevented from leaking to unauthorized sinks. Static analysis techniques are widespread to enforce a secure information flow by checking a program after construction. A draw
Externí odkaz:
http://arxiv.org/abs/2208.02672
We demonstrate that traits are a natural way to support correctness-by-construction (CbC) in an existing programming language in the presence of traditional post-hoc verification (PhV). With Correctness-by-Construction, programs are constructed incre
Externí odkaz:
http://arxiv.org/abs/2204.05644
Publikováno v:
In Journal of Computer Languages June 2022 70
Publikováno v:
Ada User Journal. Mar2023, Vol. 44 Issue 1, p59-62. 4p.
Autor:
RUNGE, TOBIAS1 tobias.runge@kit.edu, SERVETTO, MARCO2 marco.servetto@ecs.vuw.ac.nz, POTANIN, ALEX3 alex.potanin@anu.edu.au, SCHAEFER, INA1 ina.schaefer@kit.edu
Publikováno v:
ACM Transactions on Programming Languages & Systems. Mar2023, Vol. 45 Issue 1, p1-35. 35p.
Publikováno v:
In Journal of Loss Prevention in the Process Industries September 2019 61:213-219
Autor:
Runge, Tobias
Ensuring the safety and security of software systems is more important today than ever before, as critical domains (such as automotive, aviation, or healthcare systems) become increasingly software-intensive. Typically, such critical software is exha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db47ca8d857caf1b053c7d03e737240a
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.