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

[tlaplus] Re: Inconsistent access control policies checking using TLA+

Hi Hillel Wayne,
How did this go? I've got a similar project (lots of complex access rules) and would like to know how your project went.

On Wednesday, March 7, 2018 at 6:37:11 AM UTC-5 knnik...@xxxxxxxxx wrote:
Thanks, Hillel Wayne.   This helps me to write spec :-)

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/7c2d2fc6-694d-41d4-b43e-1c247c23d165n%40googlegroups.com.