A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2,

First Page		Document Content
Date: 2014-06-27 10:56:07 Mathematics Linear temporal logic CTL* Interpretation Computation tree logic Kripke structure Well-formed formula Quantification Model theory Logic Mathematical logic Temporal logic		A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2, Add to Reading List Source URL: software.imdea.org Download Document from Source Website File Size: 560,01 KB Share Document on Facebook

	* CTL synthesis via LTL synthesis DocID: 1xV1o - View Document
	The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y DocID: 1xTLe - View Document
	PDF Document DocID: 1xGFc - View Document
	PDF Document DocID: 1xqcJ - View Document
	PDF Document DocID: 1x1a4 - View Document