Spinroot

A forum for Spin users

You are not logged in.

#1 2012-05-29 12:55:00

MuhammadIsmail
Member
From: Pakistan
Registered: 2012-05-22
Posts: 23

How to introduce time in SPIN

I need to use time as a parameter for analysis. Is there any way to observe the behavior of model with time.  If there is some way then please tell me.
Thanks

Offline

#2 2012-05-29 21:38:22

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: How to introduce time in SPIN

see:
http://research.microsoft.com/pubs/64632/tr-2005-30.pdf

Offline

Board footer

Powered by FluxBB