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

[jarjuk <jar...@xxxxxxxxx>]

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