formal methods – Z specification language

I have to use formal methods to check if a software behaves as expected. I could use the Z language for the specification, but I would prefer to use a newer language. Does anyone know if there is a new specification language currently used for software specification? The language pack Z on MikTeX was updated in 2005.