Deciding Hyperproperties Combined with Functional Specifications

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

  • Raven Beutner - , CISPA – Helmholtz-Zentrum für Informationssicherheit (Autor:in)
  • David Carral - , Université de Montpellier (Autor:in)
  • Bernd Finkbeiner - , CISPA – Helmholtz-Zentrum für Informationssicherheit (Autor:in)
  • Jana Hofmann - , CISPA – Helmholtz-Zentrum für Informationssicherheit (Autor:in)
  • Markus Krötzsch - , Professur für Wissensbasierte Systeme (cfaed) (Autor:in)

Details

OriginalspracheEnglisch
TitelProceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022)
Redakteure/-innenChristel Baier, Dana Fisman
Herausgeber (Verlag)ACM Press
Seiten56:1–56:13
ISBN (Print)978-1-4503-9351-5
PublikationsstatusVeröffentlicht - 2022
Peer-Review-StatusJa

Externe IDs

Scopus 85132141560