Relative Safety
نویسندگان
چکیده
A safety property restricts the set of reachable states. In this paper, we introduce a notion of relative safety which states that certain program states are reachable provided certain other states are. A key, but not exclusive, application of this method is in representing symmetry in a program. Here, we show that relative safety generalizes the programs that are presently accommodated by existing methods for symmetry. Finally, we provide a practical algorithm for proving relative safety.
منابع مشابه
Multivariate Statistical Analysis Decision-making Hybrid Method for Road Traffic Safety Evaluation in Iran
Obviously, improving the road safety and the efficient allocation of limited resources to the provinces according to their ranking should be done. This paper presents a hybrid method of multivariate statistical analysis-decision making to evaluate Iran road traffic safety. In order to solve the problems of road traffic safety, a macroscopic evaluation and traffic safety level classification in ...
متن کاملImplementation of child safety and health management system by means of FMEA method
Every year, many accidents leading to physical injuries in kindergartens, indicates that a very large percentage of them are related to the safety concerns and lack of hygiene in these places. Families, due to their busy life style and working hours and also children needs of preschool education, are searching to find most suitable kindergartens for their children. Selecting a kindergarten with...
متن کاملبررسی عوامل مؤثر بر عملکرد ایمنی کارگران در کارگاههای ساختمانی با استفاده از تحلیل سلسله مراتبی فازی (مطالعه موردی: استان خوزستان)
Background and aims: Construction accidents place a large economic burden on owners, contractors, and users of facilities and influence the injured worker’s life both at home and at work. Therefore, in this research a survey of the factors influencing safety performance of workers is perfomed in order to help to decrease construction accidents. Since these factors would differ from society to ...
متن کاملComparative assessment of therapeutic safety of norcantharidin, N-farnesyloxy-norcantharimide, and N-farnesyl-norcantharimide against Jurkat T cells relative to human normal lymphoblast
The therapeutic safety of an anticancer drug is one of the most important concerns of the physician treating the cancer patient. Half maximal inhibitory concentration (IC50) and hillslope are usually used to represent the strength and sensitivity of an anticancer drug on cancer cells. The therapeutic safety of the anticancer drug can be assessed by comparing the IC50 and hillslope of anticancer...
متن کاملMeasuring Patient Safety Culture in Iran Using the Hospital Survey on Patient Safety Culture (HSOPS): an Exploration of Survey Reliability and Validity
Background and Objectives: Patient Safety Culture is increasingly recognized as an essential driver of patient safety. To establish patient safety culture, firstly the current status of the construct should be assessed. Valid assessment of patient safety culture is contingent on the availability of appropriate measurement tools. Hospital Survey on Patient Safety Culture (HSOPS) developed by th...
متن کامل