Laboratoire d'Informatique et de Mathematiques, Universite de la Reunion, Saint-Denis, France;
Dipartimento di Informatica, Universita di Verona, Verona, Italy;
机译:符号抽象模型检查中的反例生成
机译:用于抽象模型检查的符号语义
机译:时间Petri网的象征性表示高效界限模型检查
机译:通过抽象解释和符号表达式检查阵列边界
机译:有界Petri网的符号模型检查的编码方案比较。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:符号因果关系检查使用有限模型检查
机译:通过抽象计划准备语言(appL)到符号分析实验室(saL)的自动翻译模型检查解决aI planning plus调度问题