Temporal Logics in Computer Science

【文件属性】：
文件名称：Temporal Logics in Computer Science
文件大小：5.69MB
文件格式：PDF
更新时间：2021-05-09 05:01:45
Temporal Logics Temporal logics provide a generic logical framework for modelling and reasoning about time and temporal aspects of the world. While stemming from philosophical considerations and discussions, temporal logics have become over the past 50 years very useful and important in computer science, and particularly for formal specification, verification and synthesis of computerised systems of various nature: sequential, concurrent, reactive, discrete, real time, stochastic, etc. This book provides a comprehensive exposition of the most popular discrete-time temporal logics, used for reasoning about transition systems and computations in them.