Re: A CSP model for Java threads

From: Oyvind Teig (Oyvind.Teig_at_email.domain.hidden)
Date: 1999-08-10 12:36:19


Bryan Scattergood of Formal Systems wrote:

> better under FreeBSD/Linux/Solaris86 than under Windows on the same
> hardware.

99% of the developers here use networked PC's running Win95, Win98
or NT. Installing Linux and rebooting to perform FDR checks isn't
very attractive.

> However, we do have plans for an NT version in the medium-term.

Please inform this group when the version NT arrives :-)

Couldn't you have some kind of multilevel pricing? 8,500 UKP is
rather stiff for a tool that will, in the foreseable future, be
used by a single person.

I buy, Jeremy, that FSP and LTSA are toys, if you positively know
so and you say it. But as far as I can see, LTSA handles quite
large FSP models..

I do hope that FDR will be pressed down in price by tools like
LTSA, even if I absolutely don't want a free tool! But isnt N*8500
the same as xN*(8500/x) ??

-- 
|====================|===================================|====|====|
|        Oyvind Teig |          oyvind.teig_at_autronica.no |    |    |
|  Navia Maritime AS |          oyvind.teig_at_computer.org |    |    |
| division Autronica |                                   |Tel:|Fax:|
|               7005 |               http://www.navia.no | +47| +47|
|          Trondheim |           http://www.autronica.no |7358|7391|
|             Norway | http://www.autronica-maritime.com |1268|9320|
|====================|===================================|====|====|

Original text of this message

This archive was generated by hypermail 2.1.7 on 2004-10-31 20:03:58 GMT
© Copyright WoTUG
All rights reserved