Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Tobias Runge"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 2 (2023)
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:
https://doaj.org/article/c0847af94b3541908ad242766b5af307
Publikováno v:
ACM SIGAda Ada Letters. 42:75-78
Correctness-by-Construction (CbC) is an incremental software development technique in the field of formal methods to create functionally correct programs guided by a specification. In contrast to post-hoc verification, where the specification and ver
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0d61c62a9190b078ff5482d300e3f20d
https://doi.org/10.1145/3591335.3591343
https://doi.org/10.1145/3591335.3591343
Publikováno v:
ACM Transactions on Programming Languages and Systems. 45:1-35
Security-critical software applications contain confidential information which has to be protected from leaking to unauthorized systems. With language-based techniques, the confidentiality of applications can be enforced. Such techniques are for exam
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::339ff0c994f97c53be6697d44769ce25
https://doi.org/10.1145/3573270
https://doi.org/10.1145/3573270
Publikováno v:
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops ISBN: 9783031262357
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9002defcc28406601352aca53115290f
https://doi.org/10.1007/978-3-031-26236-4_13
https://doi.org/10.1007/978-3-031-26236-4_13
Publikováno v:
Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6bcde49bc97356db3951bf01ac602ea
https://doi.org/10.1145/3510466.3511272
https://doi.org/10.1145/3510466.3511272
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783031171079
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce41eeec3539ccb50cb302b687810555
https://doi.org/10.1007/978-3-031-17108-6_13
https://doi.org/10.1007/978-3-031-17108-6_13
Publikováno v:
Programming Languages and Systems ISBN: 9783031210365
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2ef1d2db8e258995d6032ff23c99d72
https://doi.org/10.1007/978-3-031-21037-2_6
https://doi.org/10.1007/978-3-031-21037-2_6
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles ISBN: 9783031198489
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74e4b95d0fb008edf6cef8c99f8f49d9
https://doi.org/10.1007/978-3-031-19849-6_15
https://doi.org/10.1007/978-3-031-19849-6_15
Autor:
Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson
Publikováno v:
The Logic of Software. A Tasting Menu of Formal Methods ISBN: 9783031081651
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d70470b528796a266e49efd77c85a26
https://doi.org/10.1007/978-3-031-08166-8_5
https://doi.org/10.1007/978-3-031-08166-8_5
Publikováno v:
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783031086786
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98dc1970d37f4bc34a5d3acedb4e18af
https://doi.org/10.1007/978-3-031-08679-3_9
https://doi.org/10.1007/978-3-031-08679-3_9