Back to Results
First PageMeta Content
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

Document Date: 2007-07-09 05:49:18

Open Document

File Size: 4,38 MB

Share Result on Facebook