Combination Methods for Model-Checking of Infinite-State Systems S. Ghilardi1 , E. Nicolini2 , S. Ranise2 , and D. Zucchelli1,2 1 Università 2 LORIA

First Page		Document Content
Date: 2007-07-09 05:49:18 Theoretical 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 LORIA Add to Reading List Source URL: www.lsi.upc.edu Download Document from Source Website File Size: 4,38 MB Share Document on Facebook