add: KeY, KeY-Hoare, KeYmaera, KeYmaeraD, SPHINX, j-algo, AMC, SAAtRE, jImp