Can new software testing frameworks bring us to provably correct software?