Reactive Systems: Modelling, Specification and Verification

摘要: Formal methods is the term used to describe specification and verification of software and systems using mathematical logic. Various methodologies have been developed and incorporated into tools. An important subclass is distributed systems. There are many books that look at particular for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students describes various approaches, their strengths weaknesses, when they best used. Milner CCS its operational semantics introduced, together with notions behavioural equivalence based on bisimulation techniques with variants Hennessy-Milner modal logics. Later in book, presented theories extended take timing issues account. The has arisen from various courses taught Iceland Denmark designed give students broad area, exercises throughout.