Formal Verification - TLA+

16 views
Skip to first unread message

Thomas Passin

unread,
Apr 21, 2023, 4:15:26 PM4/21/23
to leo-editor
" TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed one"


It's probably worth going quickly to this page on the site -Industrial Use of TLA+.

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.
Reply all
Reply to author
Forward
0 new messages