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

Learning TLA+



Hi,


   I am working on a TLA model for distributed algorithm.Can you help me how to get started with tla and test the model.


Thanks,
Triveni