Synthesized answer
The provided passages do not specify what questions remain unanswered in the book "Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers."
The passages describe the book's structure and content, noting that the first part covers what most programmers and engineers need to know about writing specifications with an emphasis on safety properties [1]. The second part delves into advanced topics like liveness and fairness, real-time properties, and composition [1]. The third and fourth parts serve as a reference manual for the TLA+ language and its tools [1]. However, there is no mention of any unresolved questions within the book.
Synthesized from the book passages below. Chat with the book on Feynman for follow-up.
From the book
Title: Specifying Systems by Leslie Lamport Description: Both a tutorial on specifying systems and a complete reference to TLA, this is the distillation of 25 years of work by a renowned computer scientist. Divided into four parts, the first part contains all that most programmers and engineers need to know about writing specifications. The second part has advanced material for more sophisticated readers. The third and fourth parts comprise a reference manual for TLA+--both the language itself as well as its tools. Categories: Computers Pages: 392 Snippet: The emphasis here is on safety…