One document found

Master thesis
All rights reserved

A specification language for distributed algorithms

Non-functional properties such as termination or fault tolerance play an important role in the design of distributed algorithms. Static analyses support the design process by automatically determining interesting properties. Which properties can be automatically inferred greatly depends on the specification...