Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
4.16(45 ratings)
This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how …