首页|Abstract property language for MDG model checking methodology

Abstract property language for MDG model checking methodology

扫码查看
原文链接
  • NSTL
In this paper, we propose a new specification language called Abstract Property Language (APL) suitable for Multiway Decision Graph (MDG) Model Checking (MC) that replaces L_(MDG) language and introduces new operators obtained from Property Specification Language (PSL). The purpose is to improve expressiveness and to enhance MC verification technique in MDG. Though, the PSL language was modified to model system properties at the same level of abstraction. We provide formal definition in BNF grammar format and formal semantics. APL is associated with a front-end translator that accepts APL specifications and builds verification-ready models to be handled by MDG tool.

APLAbstract property languageMDGsMultiway decision graphsPSLProperty specification languageGenerating verification-ready MDG model

Kamran Hussain、Otmane Ait-Mohamed、Sa'ed Abed

展开 >

Department of Electrical and Computer Engineering, Concordia University

Department of Computer Engineering, Hashemite University

2012

International Journal of Computer Applications in Technology

International Journal of Computer Applications in Technology

EIESCI
ISSN：0952-8091
年,卷(期)：2012.44(1)