POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems
Combining symbolic execution with model checking to verify parallel numerical programs