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

How to run TLA+ ToolBox model checking from command line?



I write a TLA+ script, but it seems too slow for model checking in my laptop, even in the multithread mode. So I want to run it in a Linux server which do not have a GUI. Anybody know how to run model checking from command line?
Thx.