Reasoning About States of Probabilistic Sequential Programs

DOI10.1007/11874683_16zbMath1225.68112OpenAlexW2124994192MaRDI QIDQ3613341

Paulo Mateus, Rohit Chadha, Amílcar Sernadas

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11874683_16

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Reasoning about probabilistic sequential programs ⋮ VPHL: a verified partial-correctness logic for probabilistic programs ⋮ Exogenous Probabilistic Computation Tree Logic

This page was built for publication: Reasoning About States of Probabilistic Sequential Programs