1,513 followers
New Research: A Lightweight Verification Method Based on Metamorphic Relation for Nuclear Power Software: The verification of nuclear design software commonly uses direct comparison methods. Benchmark questions, classical programs,… https://t.co/GL6BYsNEeq