Mohammad A. Noureddine
Mohammad A. Noureddine
Home
Teaching
Recent Publications
Download Resume
Contact
Light
Dark
Automatic
Encoding;Interpolation;Model checking;Optimization;Radiation detectors;Sequential circuits;Software;Boolean satisfiability solvers;Hoare triplet;Software verification;static analysis
Model Checking Software with First Order Logic Specifications Using AIG Solvers
Mohammad A. Noureddine
,
Fadi A. Zaraket
Cite
DOI
Cite
×