Who watches the watchers: Validating the ProB Validation Tool
نویسندگان
چکیده
منابع مشابه
Who watches the watchers: Validating the ProB Validation Tool
Over the years, PROB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead of proving for applications, such as exhaustive model checking or data validation. This has led to much more stringent requirements on the integrity of PROB. In this paper we present a summary of our validation efforts for PROB, in particular within the context o...
متن کاملWho watches the watchers : Validating the ProB Validation Tool ∗ Jens Bendisposto Sebastian Krings
Over the years, PROB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead of proving for applications, such as exhaustive model checking or data validation. This has led to much more stringent requirements on the integrity of PROB. In this paper we present a summary of our validation efforts for PROB, in particular within the context o...
متن کاملWho Watches the Watchers
The rise in the use of electronic health records (EHRs) and associated resources over the last decade is leading to the end of the paper medical record and all the risks associated with the use of a paper chart. However, there has not been a concomitant creation of a systematic oversight body that is specifically charged with ensuring the public’s safety through the use of EHR knowledge resourc...
متن کاملOn the Security of Safety-critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?
The increased level of connectivity makes security an essential aspect to ensure that safety-critical embedded systems deliver the level of safety for which they were designed. However, embedded systems designers face unique technological and economics challenges when incorporating security into their products. In this paper, we focus on two of these challenges unique to embedded systems, and p...
متن کاملWho Watches the Watchmen? On the Lack of Validation in NoSQL Benchmarking
There are numerous approaches towards quantifying the performance of NoSQL datastores with respect to dimensions that are notoriously hard to capture such as staleness or consistency in general. Many of these approaches, though, are built on assumptions regarding the underlying infrastructure or the test scenario and may lead to invalid results, if those assumptions do not hold. As a consequenc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.149.3