Parametric Timed Model Checking for Guaranteeing Timed Opacity

DOI10.1007/978-3-030-31784-3_7zbMath1437.68110arXiv1907.00537MaRDI QIDQ3297588

Étienne André, Jun Sun

Publication date: 20 July 2020

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• IMITATOR
• CacheAudit