×

Found 11 Documents (Results 1–11)

Connecting higher-order separation logic to a first-order outside world. (English) Zbl 1508.68070

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 428-455 (2020).
MSC:  68N30 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Hoare-style logic for unstructured programs. (English) Zbl 1476.68064

de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 193-213 (2020).
MSC:  68N30 03B70 68V15
PDFBibTeX XMLCite
Full Text: DOI Link

Checking the conformance of a Promela design to its formal specification in Event-B. (English) Zbl 1328.68131

Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Third international workshop, FTSCS 2014, Luxembourg, November 6–7, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-17580-5/pbk; 978-3-319-17581-2/ebook). Communications in Computer and Information Science 476, 110-126 (2015).
MSC:  68Q60 68N30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software