Verifying the uniform candy distribution puzzle with CSP Prover

Isobe, Yoshinao; Roggenbach, Markus

UPSpace Home
→
Engineering, Built Environment and Information Technology
→
Computer Science
→
Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie)
→
View Item

Please be advised that the site will be down for maintenance on Sunday, September 1, 2024, from 08:00 to 18:00, and again on Monday, September 2, 2024, from 08:00 to 09:00. We apologize for any inconvenience this may cause.

Show simple item record

dc.contributor.author	Isobe, Yoshinao
dc.contributor.author	Roggenbach, Markus
dc.date.accessioned	2009-03-11T08:29:25Z
dc.date.available	2009-03-11T08:29:25Z
dc.date.created	2008-06-28
dc.date.issued	2009-03-11T08:29:25Z
dc.description	The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
dc.identifier.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/]
dc.identifier.uri	http://hdl.handle.net/2263/9224
dc.language.iso	en	en_US
dc.rights	Markus Roggenbach	en_US
dc.subject	CSP	en_US
dc.subject	Automated proofs	en_US
dc.subject	Correctness	en_US
dc.subject.lcsh	Self-organizing systems -- Data processing
dc.subject.lcsh	CSP (Computer program language)
dc.title	Verifying the uniform candy distribution puzzle with CSP Prover	en_US
dc.type	Article	en_US