Temporal Logic Made Practical Cindy Eisner and Dana Fisman Abstract In the late seventies, Pnueli suggested that functional properties of reactive systems be formally expressed in temporal logic. In order that model chec

First Page		Document Content
Date: 2014-11-11 14:34:56		Temporal Logic Made Practical Cindy Eisner and Dana Fisman Abstract In the late seventies, Pnueli suggested that functional properties of reactive systems be formally expressed in temporal logic. In order that model chec Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 252,20 KB Share Document on Facebook