Synthesizing environment invariants for modular hardware verification

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

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

Publication date: 5 August 2020

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

Mathematics Subject Classification ID

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

Related Items (1)

Syntax-guided synthesis for lemma generation in hardware model checking

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