Portable, certainly not. Verifiable and replicable, certainly yes. Otherwise that's not the work of scientist.

Programs are mathematical proofs. If the mathematical proofs are a weak link in a scientific work, then this is a serious problem.