Zobrazeno 1 - 10
of 319
pro vyhledávání: '"automated program verification"'
The demonstrated code-understanding capability of LLMs raises the question of whether they can be used for automated program verification, a task that demands high-level abstract reasoning about program properties that is challenging for verification
Externí odkaz:
http://arxiv.org/abs/2310.04870
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.
Autor:
Banerjee, Soumya1,2 soumya.banerjee@maths.ox.ac.uk
Publikováno v:
Interdisciplinary Description of Complex Systems. 2021, Vol. 19 Issue 4, p491-499. 9p.
Publikováno v:
In Procedia CIRP 2018 76:161-166
Kniha
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.
Conference
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.
Autor:
Banerjee, Soumya
An immune system inspired Artificial Immune System (AIS) algorithm is presented, and is used for the purposes of automated program verification. Relevant immunological concepts are discussed and the field of AIS is briefly reviewed. It is proposed to
Externí odkaz:
http://arxiv.org/abs/0905.2649
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:154-184
We propose an automated method for checking the validity of a formula of HFL(Z), a higher-order logic with fixpoint operators and integers. Combined with Kobayashi et al.'s reduction from higher-order program verification to HFL(Z) validity checking,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5861bffb3f9640ebd8958e239c6eb4bb
https://doi.org/10.1145/3571199
https://doi.org/10.1145/3571199
Conference
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:
Static Analysis ISBN: 9783031223075
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c11d18d702be8b5809fb78170f30ab6
https://doi.org/10.1007/978-3-031-22308-2_18
https://doi.org/10.1007/978-3-031-22308-2_18