Automated Verification of Relational While-Programs
From MaRDI portal
Publication:5410484
DOI10.1007/978-3-319-06251-8_11zbMath1405.68070OpenAlexW62603474MaRDI QIDQ5410484
Peter Höfner, Rudolf Berghammer, Insa Stucke
Publication date: 16 April 2014
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_11
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
Using relation-algebraic means and tool support for investigating and computing bipartitions ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ Control of Condorcet voting: complexity and a relation-algebraic approach ⋮ Relational characterisations of paths ⋮ Cardinality of relations and relational approximation algorithms ⋮ Cardinality of relations with applications ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
Uses Software
This page was built for publication: Automated Verification of Relational While-Programs
