Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== 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 15:58by 127.0.0.1