All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 15:05, 24 December 2023 SatoshiNakamoto talk contribs created page Hana Chockler (Created page with "Title: Hana Chockler Main Research Question: How can we determine which parts of a system are not covered by a specifications, and whether it truly covers all the behavior of the system? Methodology: The researchers used coverage metrics and algorithms to check which parts of the system are relevant to the verification process. They related the concept of causality, given in [Halpern and Pearl 2001], to coverage. They introduced the notion of responsibility, which assi...")