99 Bottles of Beer

Voting

Bookmarking

Language promela

(modelisation language for spin)

Date:	10/14/05
Author:	Nicolas Marti
URL:	http://web.yl.is.s.u-tokyo.ac.jp/~nicolas
Comments:	1
Info:	http://spinroot.com/spin/whatispin.html
Score:	(3.75 in 4 votes)

int nb_bottle;

proctype Singer() {

	
	do
	:: 
		if
		:: nb_bottle > 1 -> printf ("%d bottles of beer on the wall, %d bottles of beer.\n Take one down
and pass it around, %d bottles of beer on the wall.\n", nb_bottle,nb_bottle,nb_bottle - 1);
nb_bottle --;
		:: nb_bottle == 1 -> printf ("1 bottles of beer on the wall, 1 bottles of beer.\n Take one down
and pass it around, no more bottles of beer on the wall.\n"); nb_bottle --;
		:: nb_bottle == 0 -> printf ("No more bottle of beer on the wall, no more bottles of beer.\n Go to
the store and buy some more, 99 bottles of beer on the wall.\n");
			break;
		fi;
	
	od;

};


init { 
	nb_bottle = 99;	
	run  Singer(); 
}

Download Source | Write Comment

Alternative Versions

Comments

RussoBette19 said on 06/27/10 22:39:17

Different people in every country receive the <a href="http://lowest-rate-loans.com/topics/mortgage-loans">mortgage loans</a> in various banks, because this is comfortable and fast.

Download Source | Write Comment

Add Comment

Please provide a value for the fields Name, Comment and Security Code.
This is a gravatar-friendly website.
E-mail addresses will never be shown.
Enter your e-mail address to use your gravatar.

Please don't post large portions of code here! Use the form to submit new examples or updates instead!

one program in 1500 variations