Tool-Based Verification of a Relational Vertex Coloring Program

DOI10.1007/978-3-319-24704-5_17zbMath1471.68054OpenAlexW2271445772MaRDI QIDQ3460631

Insa Stucke, Rudolf Berghammer, Peter Höfner

Publication date: 8 January 2016

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-24704-5_17

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Graph theory (including graph drawing) in computer science (68R10) Coloring of graphs and hypergraphs (05C15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cylindric and polyadic algebras; relation algebras (03G15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (7)

Using relation-algebraic means and tool support for investigating and computing bipartitions ⋮ Algebraic Investigation of Connected Components ⋮ Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants ⋮ Relational characterisations of paths ⋮ Cardinality of relations and relational approximation algorithms ⋮ Cardinality of relations with applications ⋮ Cardinalities of Finite Relations in Coq

Uses Software

• Coq
• Isabelle
• RelView
• Isabelle/HOL
• Isabelle/Isar
• Why3
• Prover9
• HOL
• Mace4
• Sledgehammer

This page was built for publication: Tool-Based Verification of a Relational Vertex Coloring Program