Understanding behaviour of distributed systems using mCRL2 / Muhammad Atif, Jan Friso Groote.
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to a...
Full description
Saved in: