Mohammad A. Noureddine
Mohammad A. Noureddine
Home
Research Experience
Teaching
Publications
Download Resume
Contact
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
Cite
×