Can I read Simplifying NuSMV Counter Examples on EtoBox?

Simplifying NuSMV Counter Examples by phillipsibukun_27830 is a document available to read on EtoBox.

What is Simplifying NuSMV Counter Examples about?

This document discusses simplifying counter examples produced by the NuSMV model checker. It introduces a method to identify redundant variables in counter examples so that only essential variables are shown, making the counter examples easier for humans to understand. The document provides background on model checking, temporal logic, and the NuSMV model checker. It then describes the implementation of the simplification method and discusses its limitations and known flaws.

Author

phillipsibukun_27830

Language

EN