|
I plan to incorporate next semester an introduction to TLA (and
temporal logic) into a graduate introductory course on formal logic
and program verification. If anyone has any ideas, material, pointers, or experience to share, that would be tremendously helpful and greatly appreciated. Thanks much in advance and best wishes - Daniel Daniel Leivant Professor of computer science and adjunct professor of mathematics Indiana University Bloomington |