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

Re: Comparison between the TLA tool-set and Alloy

One more question I have is how PlusCal would fit into the picture. PlusCal was not existing when the TLA+ book was written. It seems that PlusCal would narrow the gap between a specification and a final implementation considerably, which might be a huge advantage in itself.

PlusCal allows to write specifications in a procedural way and then translate them in TLA. Try it to see
why a specific tool is welcome.