将系统模型转换为转换系统以进行模型检查

Question

目前我正在尝试将系统原型转换为过渡系统模型。我有一些LTL属性，我想使用模型检查工具NuSMV验证这些属性。我只是通过定义原子属性和其他数学方面来了解如何开始建模。

Pictorial Representation of Model

Answer 1

该转换系统的 NuSMV 中的一个非常简单的编码是

public void fetchContacts() {
    final LinearLayout Vll=(LinearLayout)findViewById(R.id.Vll);

    CheckBox cb = new CheckBox(getApplicationContext());
                        cb.setText(outputName+":"+outputNumber);
                        Vll.addView(cb);
}

但是，我认为您提供的模型有点太简单，无法与您的问题描述匹配，因此我邀请您提供有关您的意图的其他信息要做。