Back to Results
First PageMeta Content
Mathematical logic / Philosophical logic / Predicate logic / Constructible universe / Quantification / Model theory / Logic / Temporal logic / Linear temporal logic


Temporal Logics for Hyperproperties Michael R. Clarkson1 , Bernd Finkbeiner2 , Masoud Koleini1 , Kristopher K. Micinski3 , Markus N. Rabe2 , and C´esar S´anchez4 1 3
Add to Reading List

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

Open Document

File Size: 327,57 KB

Share Result on Facebook

Currency

pence / /

Facility

George Washington University / University of Maryland / College Park / /

IndustryTerm

space-efficient polynomial-time algorithm / model checking algorithm / model-checking algorithm / probabilistic systems / Event-based systems / model checking tools / /

Organization

George Washington University / University of Maryland / College Park / /

Product

Pentax K-x Digital Camera / /

ProgrammingLanguage

C / /

ProvinceOrState

Maryland / /

Technology

LTL algorithm / model-checking algorithm / model checking algorithm / polynomial-time algorithm / /

SocialTag