Trace Diagnostics Using Temporal Implicants

DOI10.1007/978-3-319-24953-7_20zbMath1471.68141OpenAlexW2294550728MaRDI QIDQ3460567

Thomas Ferrère, Dejan Ničković, Oded Maler

Publication date: 8 January 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-24953-7_20

Mathematics Subject Classification ID

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

Related Items (3)

Foundations of fine-grained explainability ⋮ An automated system repair framework with signal temporal logic ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software)

This page was built for publication: Trace Diagnostics Using Temporal Implicants