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 条
  • [21] HLMC: a Hybrid Logic Tool for Model Checking in Verification of Administrative Processes
    Goron, Anca
    Ivan Chesnevar, Carlos
    9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), 2016, : 376 - 377
  • [22] Combining Predicate and Numeric Abstraction for Software Model Checking
    Gurfinkel, Arie
    Chaki, Sagar
    2008 FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2008, : 127 - 135
  • [23] Combining predicate and numeric abstraction for software model checking
    Gurfinkel A.
    Chaki S.
    International Journal on Software Tools for Technology Transfer, 2010, 12 (06) : 409 - 427
  • [24] Model Checking Recursive Programs with Exact Predicate Abstraction
    Gurfinkel, Arie
    Wei, Ou
    Chechik, Marsha
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 95 - +
  • [25] Shape analysis through predicate abstraction and model checking
    Dams, D
    Namjoshi, KS
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 310 - 323
  • [26] A translation of intuitionistic predicate logic into basic predicate logic
    Ardeshir M.
    Studia Logica, 1999, 62 (3) : 341 - 352
  • [27] Temporal logic and model checking
    McMillan, KL
    VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 36 - 54
  • [28] Temporal logic model checking
    Clarke, EM
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 3 - 3
  • [29] Model Checking for Deontic Logic
    Koo, Jarok
    IFOST 2008: PROCEEDING OF THE THIRD INTERNATIONAL FORUM ON STRATEGIC TECHNOLOGIES, 2008, : 300 - 302
  • [30] Concurrency, logic, model checking
    Gerard, S
    Kozsik, T
    Pons, C
    Qiu, W
    Zhang, XG
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 13 - 19
12345