|
Search the dblp DataBase
Mohammad Awedh:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mohammad Awedh, Fabio Somenzi
Proving More Properties with Bounded Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:96-108 [Conf]
- HoonSang Jin, Mohammad Awedh, Fabio Somenzi
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:519-522 [Conf]
- Mohammad Awedh, Fabio Somenzi
Automatic invariant strengthening to prove properties in bounded model checking. [Citation Graph (0, 0)][DBLP] DAC, 2006, pp:1073-1076 [Conf]
- Mohammad Awedh, Fabio Somenzi
Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. [Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:230-244 [Conf]
- Mohammad Awedh, Fabio Somenzi
Termination Criteria for Bounded Model Checking: Extensions and Comparison. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:51-66 [Journal]
Search in 0.001secs, Finished in 0.002secs
|