Titlebook: Designing Reliable Distributed Systems; A Formal Methods App Peter Csaba Ölveczky Textbook 2017 Springer-Verlag London 2017 Abstract Data T

Aromatic

Models of Equational SpecificationsThe introduction to this book says that the point of formal modeling is to define a . of a computer system.

Fulminate

Modeling Distributed Systems in Rewriting LogicThis chapter introduces ., which can be used to model dynamic systems and to reason about concurrent change in a distributed system.

EXCEL

Executing Rewriting Logic Specifications in MaudeThis chapter introduces some ways in which a rewriting logic model of a dynamic system can be analyzed by execution in Maude.

鸽子

APRON

Modeling Communication in MaudeChapter . explained how a concurrent system can be represented as a multiset of concurrent objects. This chapter shows how different forms of communication between such objects can be modeled in rewriting logic.

Perceive

Ethics

MORT

Mumble

Formalizing and Checking RequirementsChapter . discusses classes of requirements that a distributed system may have to satisfy.

装饰