scientific article; zbMATH DE number 7799630

DOI10.4230/lipics.fsttcs.2021.52arXiv2010.03311MaRDI QIDQ6187072

Juha Kontinen, Jana Hofmann, Bernd Finkbeiner, Unnamed Author, Jonni Virtema

Publication date: 5 February 2024

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)