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

[bjtu....@xxxxxxxxx]

在 2017年3月13日星期一 UTC+8下午5:14:57，jarjuk写道：
> Hello Markus,
> 
> 
> 
> Just my PLaptop - no funds for running on AWS :)
> 
> TLA+ tools versions: pcal.trans Version 1.8 of 2 Apr 2013, TLC2 Version 2.07 of 1 June 2015 
> Result from benchmark runs were collected using hardware with: HP ENVY 17/Notebook PC, memory 12GB, CPU: Intel(R) Core(TM) i7-4702MQ CPU @ 2.20GHz, 4 Cores of 8 Threads.
> 
> 
> However, my conclusion so far: I am confident that (for my purposes) TLA+tools performance is satisfactory. 
> 
> My main concern is applicability of (the Wild Idea) of Sbuilder: I am currently looking for Case Study (a real world application, of real benefits, any one interested take send email to google account). 
> 
> BR, Jukka

Hello jarjuk,

Is there any demo showing the performance?