Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Rollshausen, Nils"'
Autor:
Putz, Florentin, Haesler, Steffen, Völkl, Thomas, Gehring, Maximilian, Rollshausen, Nils, Hollick, Matthias
Publikováno v:
ACM CSCW 2024
Securely exchanging contact information is essential for establishing trustworthy communication channels that facilitate effective online collaboration. However, current methods are neither user-friendly nor scalable for large groups of users. In res
Externí odkaz:
http://arxiv.org/abs/2411.13693
We present the Crowbar tool, a deductive verification system for the ABS language. ABS models distributed systems with the Active Object concurrency model. Crowbar implements behavioral symbolic execution: each method is symbolically executed, but sp
Externí odkaz:
http://arxiv.org/abs/2102.10127
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.