Verifying the uniform candy distribution puzzle with CSP Prover

Loading...
Thumbnail Image

Authors

Isobe, Yoshinao
Roggenbach, Markus

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.

Keywords

CSP, Automated proofs, Correctness

Sustainable Development Goals

Citation

Isobe, Y & Roggenbach, M 2008, 'Verifying the uniform candy distribution puzzle with CSP Prover', in Colloquium and Festschrift at the occasion of the 60th birthday of Derrick Kourie (Computer Science), Windy Brow, South Afica, 28 June 2008.[http://www.cs.up.ac.za/cs/sgruner/Festschrift/]