Recent Developments in FDR
نویسندگان
چکیده
We describe and report upon various substantial extensions of the CSP refinement checker FDR including (i) the direct ability to handle real-time processes; (ii) the incorporation of bounded model checking technology; (iii) the development of conservative and highly efficient static analysis algorithms for guaranteeing livelock-freedom; and (iv) the development of automated CEGAR technology.
منابع مشابه
Helicopter HUM / FDR : Benefits and Developments Brian
The introduction of Health and Usage Monitoring (HUM) and Flight Data Recording (FDR) systems represented a major advance in both the monitoring and management of helicopters. A considerable amount of in-service experience has now been gained and a clear picture has emerged of the benefits being provided by these systems. The paper reviews the HUM/FDR experience to date to assess the extent to ...
متن کاملA Database for Automatic Persian Speech Emotion Recognition: Collection, Processing and Evaluation
Abstract Recent developments in robotics automation have motivated researchers to improve the efficiency of interactive systems by making a natural man-machine interaction. Since speech is the most popular method of communication, recognizing human emotions from speech signal becomes a challenging research topic known as Speech Emotion Recognition (SER). In this study, we propose a Persian em...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملAn Analysis of Recent Developments in Countries with Islamic Awakening
Having mentioned some of major achievements by Islamic awakening, the author has studied developments in countries where Islamic awakening has occurred including Egypt, Yemen and Bahrain as case studies. Finally he has covered Syria's developments in detail and has compared its developments with other countries with respect to Islamic awakening. He has concluded that unlike claims by western co...
متن کاملA New Proof of FDR Control Based on Forward Filtration
For multiple testing problems, Benjamini and Hochberg (1995) proposed the false discovery rate (FDR) as an alternative to the family-wise error rate (FWER). Since then, researchers have provided many proofs to control the FDR under different assumptions. Storey et al. (2004) showed that the rejection threshold of a BH step-up procedure is a stopping time with respect to the reverse filtration g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012