Mohammad Awedh

According to our database, Mohammad Awedh authored at least 5 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Automatic invariant strengthening to prove properties in bounded model checking.

Mohammad Awedh, Fabio Somenzi

Proceedings of the 43rd Design Automation Conference, 2006

2005

Termination Criteria for Bounded Model Checking: Extensions and Comparison.

Mohammad Awedh, Fabio Somenzi

Proceedings of the Third International Workshop on Bounded Model Checking, 2005

2004

Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States.

Mohammad Awedh, Fabio Somenzi

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.

HoonSang Jin, Mohammad Awedh, Fabio Somenzi

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Proving More Properties with Bounded Model Checking.

Mohammad Awedh, Fabio Somenzi

Proceedings of the Computer Aided Verification, 16th International Conference, 2004