Tools

raSAT: SMT for polynomial inequaltiy over reals
BE-PUM: Binary Emulator for PUshdown Model generation
Open induction library (Isabelle/HOL AFP)