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

	Amir Pnueli and the Dawn of Hybrid Systems Oded Maler CNRS-VERIMAG, University of Grenoble Centre Equation, 2 av de VignateGières, France DocID: 1lVac - View Document
	Continuous Systems Verification Oded Maler CNRS - VERIMAG Grenoble, France Amir Pnueli Memorial Symposium 2010 DocID: 1ljnW - View Document
	Effective Synthesis of Switching Controllers for Linear Systems EUGENE ASARIN, OLIVIER BOURNEZ, THAO DANG, ODED MALER, AMIR PNUELI, MEMBER, IEEE AND DocID: 1kG1i - View Document
	Formal Modeling, Simulation and Analysis of Developmental Processes in Caenorhabditis elegans Naaman Kam, Irun R. Cohen, David Harel and Amir Pnueli E. Jane Albert Hubbard DocID: 18XoP - View Document
	Mordechai (Moti) Ben-Ari Education • Ph.D. Tel Aviv University, Mathematics (Computer Science), 1981. Thesis: Complexity of Proofs and Models in Programming Logics. Advisors: Amir Pnueli and Zvi Galil. DocID: 13ozh - View Document