{"title":"Review of Logical Analysis of Hybrid Systems","authors":"Gabriele Paveri-Fontana","doi":"10.1145/3561612","DOIUrl":null,"url":null,"abstract":"The book is an extensive presentation of deductive methods for hybrid systems’ verification rooted in dynamic logic. The author develops both formal specification languages for hybrid systems and automated verification techniques based on them. The main focus is on the theoretical aspects of the approach, but implementation issues are also widely addressed, and a functioning tool is presented at the end of the book. The book, which is now a few years old, is based on the Ph.D. thesis of the author, but is still current, especially the more theoretical parts, as it provides the foundations, for example, of the approach of Reference [3]. Given its origin, the book is certainly of great interest for researchers dealing with hybrid systems, but it is also recommendable for anyone who is interested in the general topics of modeling and verification of complex (timed) systems. A good degree of familiarity with formal methods and mathematical logic is necessary to fully appreciate the contents of the book. The book is divided into three parts, plus an appendix. Part I focuses on theoretical aspects. The book’s approach stems from the necessity of","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":" ","pages":"1 - 2"},"PeriodicalIF":1.4000,"publicationDate":"2022-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Formal Aspects of Computing","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1145/3561612","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 0
Abstract
The book is an extensive presentation of deductive methods for hybrid systems’ verification rooted in dynamic logic. The author develops both formal specification languages for hybrid systems and automated verification techniques based on them. The main focus is on the theoretical aspects of the approach, but implementation issues are also widely addressed, and a functioning tool is presented at the end of the book. The book, which is now a few years old, is based on the Ph.D. thesis of the author, but is still current, especially the more theoretical parts, as it provides the foundations, for example, of the approach of Reference [3]. Given its origin, the book is certainly of great interest for researchers dealing with hybrid systems, but it is also recommendable for anyone who is interested in the general topics of modeling and verification of complex (timed) systems. A good degree of familiarity with formal methods and mathematical logic is necessary to fully appreciate the contents of the book. The book is divided into three parts, plus an appendix. Part I focuses on theoretical aspects. The book’s approach stems from the necessity of
期刊介绍：
This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.
In particular, the scope of Formal Aspects of Computing includes:
well-founded notations for the description of systems;
verifiable design methods;
elucidation of fundamental computational concepts;
approaches to fault-tolerant design;
theorem-proving support;
state-exploration tools;
formal underpinning of widely used notations and methods;
formal approaches to requirements analysis.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
