Travelled to:2 × USA
Collaborated with:F.Somenzi H.Jin
Talks about:model (3) check (3) bound (3) properti (2) prove (2) strengthen (1) satisfi (1) automat (1) toward (1) solver (1)
Person: Mohammad Awedh
DBLP: Awedh:Mohammad
Contributed to:
2006
2004Wrote 3 papers:
- DAC-2006-AwedhS #automation #bound #invariant #model checking
- Automatic invariant strengthening to prove properties in bounded model checking (MA, FS), pp. 1073–1076.
- CAV-2004-AwedhS #bound #model checking #proving
- Proving More Properties with Bounded Model Checking (MA, FS), pp. 96–108.
- CAV-2004-JinAS #bound #model checking #named #satisfiability #towards
- CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking (HJ, MA, FS), pp. 519–522.