Formal methods – Specification language Z

I need to use formal methods to verify if a software behaves as it should. I could use the Z language for the specification, but I would prefer to use a more recent language. Does anyone know if there is a more recent specification language that is currently being used for the software specification? The language pack Z in MikTeX has been updated in 2005.