Verics includes advanced bounded model checking methods extended with a parametric model checking. The new version will contain an experimental compiler. Note: if you are new to Verics, you might want to read the tutorial.