[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems

From: jarjuk <jar...@xxxxxxxxx>
Date: Wed, 15 Mar 2017 02:09:24 -0700 (PDT)
References: <8f764543-0bac-44c5-a953-2115b7af04d6@googlegroups.com> <d826b51c-6cb9-42fb-b283-1426167f9882@googlegroups.com> <8493e02f-d680-40a4-9ab3-bcc45efb2b3d@googlegroups.com>

Hello,

I have published a new blog entry documenting, how to install & configure & run the benchmarks.

Hopefully this helps.

BR,
Jukka

On Wednesday, March 15, 2017 at 9:21:25 AM UTC+2, bjtu...@xxxxxxxxx wrote:

在 2017年3月13日星期一 UTC+8下午5:14:57，jarjuk写道：

Hello jarjuk,

Is there any demo showing the performance?

References:
- Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
  - From: jarjuk
- Re: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
  - From: jarjuk
- Re: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
  - From: bjtu . . . .

Prev by Date: Can't prove it
Next by Date: Re: [tlaplus] TLAPM from command line
Previous by thread: Re: Announcing Sbuilder - a tool to generate TLA+ model for business IT systems
Next by thread: Microsoft Open Source Challenge
Index(es):
- Date
- Thread