Atom | Correctness for Scientific Computing Systems