The article is unfortunately "members-only", and I am disinclined to create an account on yet another Internet site.StephanOn 25 May 2025, at 11:42, Irwansyah Irwansyah <irwa...@xxxxxxxxx> wrote:Hi All!!
Greetings from Jakarta, Indonesia. I am very excited in learning TLA+. After reading many books I still don't understand how to practically using it. Then I stumble upon articles written by Elliot Swart and beginning to grasp the idea. Then I tried to write my own TLA+ spec that implement an informal specification of a PRD on reddit. My goal with TLA+ is to add another step in my software development process, from PRD to formal methods.If you are interested to read this is the link to my first TLA+ spec article:https://medium.com/practical-software-craftsman/implementing-two-factor-authentication-using-formal-methods-c2d62a996ecf
Feel free to give feedbacks or letting me know which parts that I need to improve or if my understanding is incorrect.Irwan--
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+u...@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/0757afeb-2e96-4277-95fc-baa46eb93387n%40googlegroups.com.