2003 |
3 | EE | Fady Copty,
Amitai Irron,
Osnat Weissberg,
Nathan P. Kropp,
Gila Kamhi:
Efficient debugging in a formal verification environment.
STTT 4(3): 335-348 (2003) |
2001 |
2 | EE | Fady Copty,
Limor Fix,
Ranan Fraer,
Enrico Giunchiglia,
Gila Kamhi,
Armando Tacchella,
Moshe Y. Vardi:
Benefits of Bounded Model Checking at an Industrial Setting.
CAV 2001: 436-453 |
1 | EE | Fady Copty,
Amitai Irron,
Osnat Weissberg,
Nathan P. Kropp,
Gila Kamhi:
Efficient Debugging in a Formal Verification Environment.
CHARME 2001: 275-292 |