Gray-box monitoring of hyperproperties

DOI10.1007/978-3-030-30942-8_25zbMATH Open1539.68183MaRDI QIDQ6535963

Borzoo Bonakdarpour, César Sánchez, Sandro Stucki, Gerardo Schneider

Publication date: 14 March 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

This page was built for publication: Gray-box monitoring of hyperproperties

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