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

Document Date: 2014-06-27 10:56:07

Open Document

File Size: 560,01 KB

Share Result on Facebook

City

Madrid / CSIC / Saarbrücken / /

Company

KP / Dagstuhl Publishing / Ki / /

Country

Germany / Spain / /

Currency

pence / /

/

Event

Product Issues / Product Recall / /

Facility

Saarland University / rabe}@cs.uni-saarland.de IMDEA Software Institute / /

IndustryTerm

asynchronous systems / model checking algorithm / communication protocol / infinite transition systems / knowledge operator / finite interpreted systems / synchronous product / transition systems / non-synchronous systems / /

Organization

Saarland University / de IMDEA Software Institute / Institute for Information Security / /

Person

César Sánchez / Markus N. Rabe / Bernd Finkbeiner / César Sánchez Edit / /

Product

semantics / /

ProgrammingLanguage

C / /

Technology

communication protocol / model checking algorithm / /

SocialTag