Date: 2007-07-09 05:49:18Theoretical computer science Temporal logic Computer science Formal methods Linear temporal logic Model checking Amir Pnueli French Institute for Research in Computer Science and Automation Mathematical logic Temporal logic in finite-state verification | | Combination Methods for Model-Checking of Infinite-State Systems S. Ghilardi1 , E. Nicolini2 , S. Ranise2 , and D. Zucchelli1,2 1 Università 2 LORIAAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 4,38 MBShare Document on Facebook
|