A predicate spatial logic and model checking for mobile processes

被引：0
|
作者：
Lin, HM [1 ]
机构：
[1] Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100864, Peoples R China
来源：
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004 | 2005年 / 3407卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：36 / 36
页数：1
相关论文
共 50 条
  • [31] Model checking for hybrid logic
    Lange M.
    Journal of Logic, Language and Information, 2009, 18 (4) : 465 - 491
  • [32] A Data Model and Predicate Logic for Trajectory Data
    Bornholdt, Johann
    Chondrogiannis, Theodoros
    Grossniklaus, Michael
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS, ADBIS 2024, 2024, 14918 : 18 - 31
  • [33] Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
    Bortolussi, Luca
    Gallo, Giuseppe Maria
    Kretinsky, Jan
    Nenzi, Laura
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 281 - 300
  • [34] Predicate Abstraction and CEGAR for Higher-Order Model Checking
    Kobayashi, Naoki
    Sato, Ryosuke
    Unno, Hiroshi
    ACM SIGPLAN NOTICES, 2011, 46 (06) : 222 - 233
  • [35] Fast online predicate detection using symbolic model checking
    Chu, CB
    Brockmeyer, M
    Proceedings of the ISCA 20th International Conference on Computers and Their Applications, 2005, : 470 - 477
  • [36] Verifying properties of hardware and software by predicate abstraction and model checking
    Bryant, RE
    Rajamani, SK
    ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2004, : 437 - 438
  • [37] Combining theorem proving with model checking through predicate abstraction
    Ray, Sandip
    Sumners, Rob
    IEEE DESIGN & TEST OF COMPUTERS, 2007, 24 (02): : 132 - 139
  • [38] Predicate Abstraction and CEGAR for Higher-Order Model Checking
    Kobayashi, Naoki
    Sato, Ryosuke
    Unno, Hiroshi
    PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2011, : 222 - 233
  • [39] A logical encoding of the π-calculus: Model checking mobile processes using tabled resolution
    Yang P.
    Ramakrishnan C.R.
    Smolka S.A.
    International Journal on Software Tools for Technology Transfer, 2004, 6 (1) : 38 - 66
  • [40] A logical encoding of the π-calculus:: Model checking mobile processes using tabled resolution
    Yang, P
    Ramakrishnan, CR
    Smolka, SA
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 116 - 131
12345