scientific article; zbMATH DE number 6820296

DOI10.4230/LIPIcs.ICALP.2016.107zbMath1388.68022arXiv1602.05681MaRDI QIDQ4598248

Pierre-Yves Strub, Marco Gaboardi, Justin Hsu, Gilles Barthe, Benjamin Grégoire

Publication date: 19 December 2017

Full work available at URL: https://arxiv.org/abs/1602.05681

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

accuracyprobabilistic algorithmsformal verificationHoare logicunion bound

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Unnamed Item ⋮ Graded Hoare logic and its categorical semantics

This page was built for publication: