Running TLA+ models using GPU

34 views
Skip to first unread message

Jason Xu

unread,
Nov 18, 2020, 2:05:17 PM11/18/20
to tlaplus
Is it possible to run my specs using a GPU for faster times?

Markus Kuppe

unread,
Nov 18, 2020, 3:02:30 PM11/18/20
to tla...@googlegroups.com
On 18.11.20 11:05, Jason Xu wrote:
> Is it possible to run my specs using a GPU for faster times?

No, but you can run TLC on a network of computers [1].

Markus

[1]
https://tla.msr-inria.inria.fr/tlatoolbox/doc/model/distributed-mode.html
Reply all
Reply to author
Forward
0 new messages