HIGHLIGHTS
- who: POLINA OVSIANNIKOVA et al. from the Technologies Laboratory, ITMO University, Saint Petersburg, Russia have published the article: Oeritte: User-Friendly Counterexample Explanation for Model Checking, in the Journal: (JOURNAL)
- what: The tool presented in this paper Oeritte is aimed at assisting the analyst in this challenge. Fundamentally, while counterfactual definitions seek to find the knowledge (preferably, minimal in some sense) of the state of the system such that the negation of this knowledge is sufficient to make the explanation target false, the approach seeks the knowledge that is sufficient to conclude that the explanation . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.