2 papers
cs.AI2009
The Semantics of Kalah Game
Kaninda Musumbu
The present work consisted in developing a plateau game. There are the traditional ones (monopoly, cluedo, ect.) but those which interest us leave less place at the chance (luck) t…
cs.DS2009
Abstraction and Refinement in Static Model-Checking
Kaninda Musumbu
interpretation is a general methodology for building static analyses of programs. It was introduced by P. and R. Cousot in \cite{cc}. We present, in this paper, an application of a…