Synthesizing environment invariants for modular hardware verification

DOI10.1007/978-3-030-39322-9_10OpenAlexW2999599459MaRDI QIDQ784131FDOQ784131

Authors: Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik 

Publication date: 5 August 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39322-9_10

Recommendations

• scientific article; zbMATH DE number 7364138
• Invariant synthesis for incomplete verification engines
• A learning-based approach to synthesizing invariants for incomplete verification engines
• Formal verification for high-assurance behavioral synthesis
• Goal-directed invariant synthesis for model checking modulo theories

Mathematics Subject Classification ID

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

Cited In (2)

• Syntax-guided synthesis for lemma generation in hardware model checking
• HOLL: program synthesis for higher order logic locking

This page was built for publication: Synthesizing environment invariants for modular hardware verification

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