[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.

-- 
FL