Show pagesourceOld revisionsBacklinksBack to top Share via Share via... Twitter LinkedIn Facebook Pinterest Telegram WhatsApp Yammer Reddit TeamsRecent ChangesSend via e-MailPrintPermalink × Resources Temporal Verification of Reactive Systems: Safety by Zohar Manna, Amir Pnueli. Section 5.5 “Particle Tableaux” is useful to understand the use of Tableaux for liveness verification in tlc codebase. codebase/resources.txt Last modified: 2024/09/28 17:58by 127.0.0.1