Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Temporal Logics for Hyperproperties

2014269 citationsBook Chapter

Authors

Michael R. Clarkson · George Washington University

Bernd Finkbeiner · Saarland University

Masoud Koleini · George Washington University

Kristopher Micinski · University of Maryland, College Park

Markus N. Rabe · Saarland University

César Sánchez · IMDEA Software

Topics & Keywords

Security and Verification in Computing Formal Methods in Verification Logic, programming, and type systems

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-642-54792-8_15

Field-Weighted Citation Impact: 14.51

Temporal Logics for Hyperproperties | Researchclopedia