Mohammad Awedh, Ph.D. - Publications
Affiliations: | 2006 | University of Colorado, Boulder, Boulder, CO, United States |
Area:
Electronics and Electrical EngineeringYear | Citation | Score | |||
---|---|---|---|---|---|
2006 | Awedh M, Somenzi F. Automatic invariant strengthening to prove properties in bounded model checking Proceedings - Design Automation Conference. 1073-1076. DOI: 10.1145/1146909.1147180 | 0.469 | |||
2004 | Awedh M, Somenzi F. Increasing the robustness of bounded model checking by computing lower bounds on the reachable states Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3312: 230-244. | 0.407 | |||
2004 | Awedh M, Somenzi F. Proving more properties with Bounded Model Checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 96-108. | 0.576 | |||
2004 | Jin H, Awedh M, Somenzi F. CirCUs: A satisfiability solver geared towards bounded model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 519-522. | 0.476 | |||
Show low-probability matches. |