What are applications of Objective-Z?
I have read about Objective-Z, but I cannot imagine to what it would be applied.
This question may be too broad, but I do not think that there are too many answers.
Objective-Z is an object-oriented extension to Z.
From here, you can get an overview of Objective-Z:
Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm, most notably, classes. Other object-oriented notions such as polymorphism and inheritance are also supported.
While not as popular as its base language Z, Object-Z has still received significant attention in the formal methods community, and research on aspects of the language are ongoing, including hybrid languages using Object-Z, tool support (e.g., through the Community Z Tools project) and refinement calculi.
For more information about the language and its uses, I would recommend visiting the Objective-Z homepage.
Its applications are similar to that of Z-notation - it is just an extension to a specification language.
If you really want to know about applications of Objective-Z, you can read this book.
I hope this helps, and good luck with Z.