bad-prefix.tex « Assignment1 - NWI-IMC046-Model-Checking - Files related to NWI-IMC046 Model Checking, spring 2018, Radboud University Nijmegen.

summary refs log tree commit diff

path: root/Assignment1/bad-prefix.tex

blob: 98e39ed0f4c20634fc51a3d8532dbfa03dcdfbde (plain) (blame)

1
2

\subsubsection{Minimal Bad Prefix in NuSMV}
%TODO: Given a formula of the form vw^\omega, can we find a n \in \mathbb{N} such that vw^n is a bad prefix?