scientific article; zbMATH DE number 7799630

DOI10.4230/LIPICS.FSTTCS.2021.52arXiv2010.03311MaRDI QIDQ6187072FDOQ6187072

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

model checkingexpressivitylinear temporal logichyperproperties

Mathematics Subject Classification ID

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

Cited In (1)

• A remark on the expressivity of asynchronous TeamLTL and 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)