Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Designing Reliable Distributed Systems
- A Formal Methods Approach Based on Executable Modeling in Maude
Engelsk
Bogcover for Designing Reliable Distributed Systems af Peter Csaba Olveczky, 9781447166863
Specifikationer
Sprog:
Engelsk
Sider:
313
ISBN-13:
9781447166863
Indbinding:
Paperback
ISBN-10:
1447166868
Udg. Dato:
22 feb 2018
Størrelse i cm:
15,9 x 23,8 x 1,8
Serie:
Undergraduate Topics in Computer Science
Oplagsdato:
22 feb 2018
Forfatter(e):

Designing Reliable Distributed Systems

- A Formal Methods Approach Based on Executable Modeling in Maude
Engelsk
Paperback 2018
Format:

Bog beskrivelse
This book introduces formal modeling and analysis of distributed systems by means of executable formal modeling in rewriting logic and model checking analyses in the tool Maude. The first part of the book introduces “classical” equational algebraic specification and term rewrite systems, including reasoning about confluence and termination, as well as equational logic. The second part introduces rewriting logic and deals with the executable formal modeling of distributed systems. The book develops executable formal Maude models of classic distributed systems, which are then simulated and are further analysed through reachability analysis in Maude. In particular, the book shows how Maude can be used to break the Needham-Schroeder Public Key cryptographic protocol. Finally, the book introduces (linear) temporal logic that can be used to express complex requirements that distributed systems must satisfy and it uses Maude LTL model checker to analyze whether our models satisfy desired temporal properties.
... Vis mere

Hos Booktok
570 kr
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
313
ISBN-13:
9781447166863
Indbinding:
Paperback
ISBN-10:
1447166868
Udg. Dato:
22 feb 2018
Størrelse i cm:
15,9 x 23,8 x 1,8
Serie:
Undergraduate Topics in Computer Science
Oplagsdato:
22 feb 2018
Forfatter(e):
Finder produkter...
Kategori sammenhænge