[tlaplus] Can I use this in normal web development

[muthuraman K <muthuramankworkmail@xxxxxxxxx>]

I'm currently working on large codebase that handles IAM for many services that we provide.
Recently I came to know about tla+ from leslie lamport talk. I like the idea of allocating time to think before coding, also the same can be used for verification.
We have extensive Unit testing, but I like to think before coding. So I believe spec designing at first would be best for me. I need to have confidence around my design choice.

The changes I'm doing is not dealing with heavy algorithmic changes, but I seems to be making logical errors which needs more debugging after I'm done with coding.
We are using java, so we always deals with object oriented changes. Can I still use tla+ for this purpose? 

is there any example of using tla+ in web dev backends where there won't be critical algorithms but logical checks. My question might be confusing, wherever I can utilize TLA+ ?  If not TLA+, any other spec designing suggestion for java OOP will be helpful.

Thanks

-- 
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/ab9ae151-41eb-4887-b6aa-2140b7dfc72cn%40googlegroups.com.