Towards Ezpressive Specification and Efficient Model Checking
(0) System modeling is important and highly nontrivial. The choice of specification language is an important fac tor in the success of the entire development. The language should cover several facets of the requirements and the model should precisely capture (up to abstraction of irrele vant details) an existing system or a system to be built. The language should have a semantic model suitable to study the behaviors of the system and to establish the validity of de sired properties. A formal model can be the basis for a va riety of system development activities, e.g., system simula tion, visualization, verification or prototype synthesis.
Jin Song Dong Jun Sun
National University of Singapore
国际会议
天津
英文
9
2009-07-29（万方平台首次上网日期，不代表论文的发表时间）