" TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed one"
TLA+ Home page <https://lamport.azurewebsites.net/tla/tla.html> It's probably worth going quickly to this page on the site -Industrial Use of TLA+ <https://lamport.azurewebsites.net/tla/industrial-use.html>. I've always thought that formal verification was too hard for any moderately complex system, and prone to errors in the formal modeling just like any other modeling or programming task. Maybe I was too pessimistic. -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/1cd9dab0-116b-405b-a2cc-c94b5a4dfff7n%40googlegroups.com.