Model Checking Software with First Order Logic Specifications Using AIG Solvers

Mohammad A. Noureddine, Fadi A. Zaraket
August, 2016
Cite DOI
Type
Journal article
Publication
IEEE Transactions on Software Engineering
Encoding;Interpolation;Model checking;Optimization;Radiation detectors;Sequential circuits;Software;Boolean satisfiability solvers;Hoare triplet;Software verification;static analysis