Specifying Systems

Specifying Systems

4.11 - 1251 ratings - Source

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.The emphasis here is on safety properties. The second part of the book covers more advanced topics, including liveness and fairness, real-time properties, and composition.

Title:Specifying Systems
Author:Leslie Lamport
Publisher:Addison-Wesley Professional - 2003


You Must CONTINUE and create a free account to access unlimited downloads & streaming