Constraint logic programming applied to model checking

被引：9
作者：
Fribourg, L
机构：
[1] Ecole Normale Super, LSV, F-94235 Cachan, France
[2] CNRS, F-94235 Cachan, France
来源：
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, PROCEEDINGS | 2000年 / 1817卷
关键词：
D O I：
10.1007/10720327_3
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We review and discuss here some of the existing approaches based on CLP (Constraint Logic Programming) for verifying properties of various kinds of state-transition systems.
引用
收藏
页码：30 / 41
页数：12
相关论文
共 51 条
  • [1] Allen Emerson E., 1986, LICS, P267
  • [2] ALUR R, 1990, LECT NOTES COMPUT SC, V443, P322, DOI 10.1007/BFb0032042
  • [3] Bérard B, 1999, LECT NOTES COMPUT SC, V1664, P178
  • [4] BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
  • [5] Bultan T, 1997, LECT NOTES COMPUT SC, V1254, P400
  • [6] Charatonik W, 1998, LECT NOTES COMPUT SC, V1384, P358, DOI 10.1007/BFb0054183
  • [7] Tabled evaluation with delaying for general logic programs
    Chen, WD
    Warren, DS
    [J]. JOURNAL OF THE ACM, 1996, 43 (01) : 20 - 74
  • [8] CLARKE E, 1993, LNCS, V803
  • [9] Clarke E. M., 1981, LECTURE NOTES COMPUT, V131, P52, DOI DOI 10.1007/BFB0025774
  • [10] Cousot P., 1978, POPL 1978, V84, P97, DOI DOI 10.1145/512760.512770
123456