| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 5 |      | Mohammad Awedh, Fabio Somenzi: Automatic invariant strengthening to prove properties in bounded model checking. DAC 2006: 1073-1076 |
| 4 | | Mohammad Awedh, Fabio Somenzi: Termination Criteria for Bounded Model Checking: Extensions and Comparison. Electr. Notes Theor. Comput. Sci. 144(1): 51-66 (2006) |
| 2004 | ||
| 3 | | HoonSang Jin, Mohammad Awedh, Fabio Somenzi: CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. CAV 2004: 519-522 |
| 2 | | Mohammad Awedh, Fabio Somenzi: Proving More Properties with Bounded Model Checking. CAV 2004: 96-108 |
| 1 | | Mohammad Awedh, Fabio Somenzi: Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. FMCAD 2004: 230-244 |
| 1 | HoonSang Jin | [3] |
| 2 | Fabio Somenzi | [1] [2] [3] [4] [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page