Calculating Invariants as Coreflexive Bisimulations

DOI10.1007/978-3-540-79980-1_7zbMath1170.68426OpenAlexW2158258981MaRDI QIDQ5505417

José Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1822/20217

zbMATH Keywords

program calculationproof obligationscoalgebraic reasoningpointfree transform

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

An exercise on the generation of many-valued dynamic logics ⋮ A coalgebraic perspective on logical interpretations ⋮ On difunctions ⋮ Extended Static Checking by Calculation Using the Pointfree Transform

This page was built for publication: Calculating Invariants as Coreflexive Bisimulations