Voting

Category

real language

Bookmarking

Del.icio.us Digg Diigo DZone Earthlink Google Kick.ie
Windows Live LookLater Ma.gnolia Reddit Rojo StumbleUpon Technorati

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

RussoBette19 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!

Name:

eMail:

URL:

Security Code:
  
Comment: