refactor abstract, introduction, and background
refactor abstract, introduction, and background

EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel