Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Anja Petkovic"'
We present the CheckMate tool for automated verification of game-theoretic security properties, with application to blockchain protocols. CheckMate applies automated reasoning techniques to determine whether a game-theoretic protocol model is game-th
Externí odkaz:
http://arxiv.org/abs/2403.10310
Autor:
Bauer, Andrej, Komel, Anja Petković
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 1 (January 19, 2022) lmcs:7268
We present a general and user-extensible equality checking algorithm that is applicable to a large class of type theories. The algorithm has a type-directed phase for applying extensionality rules and a normalization phase based on computation rules,
Externí odkaz:
http://arxiv.org/abs/2103.07397
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:
Lecture Notes in Computer Science ISBN: 9783030521998
ICMS
ICMS
We designed a user-extensible judgemental equality checking algorithm for general type theories that supports computation rules and extensionality rules. The user needs only provide the equality rules they wish to use, after which the algorithm devis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0bd368f648536869e1e8ae189c36a69
https://doi.org/10.1007/978-3-030-52200-1_25
https://doi.org/10.1007/978-3-030-52200-1_25
Autor:
Andrej Bauer, Anja Petković Komel
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
We present a general and user-extensible equality checking algorithm that is applicable to a large class of type theories. The algorithm has a type-directed phase for applying extensionality rules and a normalization phase based on computation rules,
Externí odkaz:
https://doaj.org/article/3ef4283d74d345c5abd135862b0d338f
