[CZT-Users] Is Z specification dead?

[James C. <cou...@gm...>]

While I am relatively new to Z, I have found it to be an excellent language
for specification.  However, I've noticed that books, academic sites, and
even CZT, all have shown a steady decline in new material in recent years.

Is Z being abandoned?  If so, what is replacing it?  For example, are
people generally preferring other tools such as TLA+ or similar?  Or is
formal specification struggling overall?  I will continue to both use and
promote formal specification, but I think it's important to use tools that
have an active community.  Should I continue to invest in Z or look
elsewhere?

Regards, James