A parametric analysis of the state-explosion problem in model checking

Autor: Demri, S., Laroussinie, F., Schnoebelen, Ph.

Publikováno v: In Journal of Computer and System Sciences 2006 72(4):547-575

On Symbolic Heaps Modulo Permission Theories

Autor: Demri, S, Lozes, E, Lugiez, Denis

Publikováno v: 37th IARCS Foundation on Software Technology and Theoretical Computer Science
37th IARCS Foundation on Software Technology and Theoretical Computer Science, Dec 2017, Kanpur, India. ⟨10.4230/LIPIcs.FSTTCS.2017.25⟩

International audience; We address the entailment problem for separation logic with symbolic heaps admitting list predicates and permissions for memory cells that are essential to express ownership of a heap region. In the permission-free case, the e

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f753c5929d748b352fdce62ae44620f0

To Know is to Know the Value of a Variable

Autor: Baltag, A., Beklemishev, L., Demri, S., Máté, A.

Publikováno v: Advances in Modal Logic: AiML 11, 135-155
STARTPAGE=135;ENDPAGE=155;TITLE=Advances in Modal Logic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::ad20af2be560752f90926c353c90bca0
https://dare.uva.nl/personal/pure/en/publications/to-know-is-to-know-the-value-of-a-variable(61a936e0-18dd-4862-81c4-0450ca5a533e).html

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.