An Introduction to Practical Formal Methods Using Temporal Logic

Michael Fisher

Informasi Umum

Kode

15.01.844

Klasifikasi

511.3 - Mathematical logic, symbolic logic; combinatory logic; formal languages

Jenis

Buku - Circulation (Dapat Dipinjam)

Subjek

Mathematical Logic, Symbolic Logic, Temporal Automata

No. Rak

Dilihat

139 kali

Informasi Lainnya

Abstraksi

This book provides an introduction to formal methods based on temporal logic, for developing and analysing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems.

Fisher begins with a full introduction to the subject, covering the basic of temporal logic and using a variety of examples, exercise and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability.