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
相关论文
共 50 条
  • [1] Constraint logic programming for local and symbolic model-checking
    Nilsson, U
    Lübcke, J
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 384 - 398
  • [2] Conformance Checking with Constraint Logic Programming: The Case of Feature Models
    Mazo, Raul
    Lopez-Herrejon, Roberto E.
    Salinesi, Camille
    Diaz, Daniel
    Egyed, Alexander
    2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 456 - 465
  • [3] Model checking LTL using constraint programming
    Esparza, J
    Melzer, S
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 1 - 20
  • [4] Model checking with probabilistic tabled logic programming
    Gorlin, Andrey
    Ramakrishnan, C. R.
    Smolka, Scott A.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 681 - 700
  • [5] Logic programming and constraint logic programming
    Cohen, J
    ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [6] Automatic software model checking via constraint logic
    Flanagan, C
    SCIENCE OF COMPUTER PROGRAMMING, 2004, 50 (1-3) : 253 - 270
  • [7] Constraint Logic Programming Applied to Sequencing Tasks in a Pipeline Network
    Konowalenko, E.
    Meira, W.
    Magatao, L.
    IEEE LATIN AMERICA TRANSACTIONS, 2019, 17 (08) : 1309 - 1317
  • [8] CLP(Flex): Constraint logic programming applied to XML processing
    Coelho, J
    Florido, M
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPLS, DOA, AND ODBASE, PT 2, PROCEEDINGS, 2004, 3291 : 1098 - 1112
  • [9] Constraint-based integrity checking in abductive and non-monotonic extensions of constraint logic programming
    Ghose, Aditya K.
    Padmanabhuni, Srinivas
    Proceedings of the National Conference on Artificial Intelligence, 1999, : 265 - 270
  • [10] Constraint-based integrity checking in abductive and non-monotonic extensions of constraint logic programming
    Ghose, AK
    Padmanabhuni, S
    SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), 1999, : 265 - 270
12345