I was thinking that for VFX, they used Maya or some other animation software (especially for Dr.Strange) and for the video production, they used Sony Vegas or After Affects. And of course, they might have also made some of the movie visual effects directly from the video production software itself (for example, in AfterEffects you can make VFX in the software itself).
Those were just my guesses, but if you guys have any ideas or links to what VFX and video production softwares were used in Dr.Strange and Civil War, please state them.
Thanks!