[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


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

Hopefully this helps.


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?