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

[Roger Bigger <roger.bigger@xxxxxxxxx>]

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.