×

Found 6 Documents (Results 1–6)

On temporal and separation logics. (English) Zbl 1487.68080

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 1, 4 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Proof tactics for assertions in separation logic. (English) Zbl 1483.03004

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 285-303 (2017).
MSC:  03B35 03B70 68V15
PDFBibTeX XMLCite
Full Text: DOI Link

A complete decision procedure for linearly compositional separation logic with data constraints. (English) Zbl 1475.68185

Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 532-549 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software