Publications

2 results for Moria Abadi

Verifying Parallel Code After Refactoring Using Equivalence Checking
- - Moria Abadi
  - Sharon Keidar-Barner
  - et al.
- 2018
- Int. J. Parallel Program
Paper
Automatic recovery of statecharts from procedural code
- - Moria Abadi
  - Yishai A. Feldman
- 2012
- ASE 2012
Conference paper