scientific article; zbMATH DE number 7799630

DOI10.4230/LIPICS.FSTTCS.2021.52MaRDI QIDQ6187072zbMATH OpenFDO

Authors Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang

Publication date 5 February 2024

Full work available at URL https://arxiv.org/abs/2010.03311

zbMATH Keywords

expressivityhyperpropertieslinear temporal logicmodel checking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cited in

(10)

• A remark on the expressivity of asynchronous TeamLTL and HyperLTL
• Set semantics for asynchronous TeamLTL: expressivity and complexity
• Unifying asynchronous logics for hyperproperties
• Expressivity of asynchronous TeamLTL and HyperLTL
• Inquisitive team semantics of LTL
• Extensions of HyperLTL for asynchronous hyperproperties
• Flavors of quantifiers in hyperlogics
• Temporal dependencies in dynamical systems, a modal-style exploration
• Temporal team semantics revisited
• A complete proof system for HyperLTL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6187072)