APPLICATION OF TEMPORAL LOGIC TO PROTOCOL SPECIFICATION

被引：0
|
作者：
CAVALLI, AR
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：311 / 311
页数：1
相关论文
共 50 条
  • [31] Formal verification of embedded logic controller specification with computer deduction in temporal logic
    Grobelna, Iwona
    PRZEGLAD ELEKTROTECHNICZNY, 2011, 87 (12A): : 47 - 50
  • [32] A spatio-temporal logic for the specification and refinement of mobile systems
    Merz, S
    Wirsing, M
    Zappe, J
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 87 - 101
  • [33] Loop-Check Specification for a Sequent Calculus of Temporal Logic
    Romas Alonderis
    Regimantas Pliuškevičius
    Aida Pliuškevičienė
    Haroldas Giedra
    Studia Logica, 2022, 110 : 1507 - 1536
  • [34] Loop-Check Specification for a Sequent Calculus of Temporal Logic
    Alonderis, Romas
    Pliuskevicius, Regimantas
    Pliuskeviciene, Aida
    Giedra, Haroldas
    STUDIA LOGICA, 2022, 110 (06) : 1507 - 1536
  • [35] APPLICATIONS OF TEMPORAL LOGIC TO THE SPECIFICATION OF REAL-TIME SYSTEMS
    PNUELI, A
    HAREL, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 84 - 98
  • [36] Building verifiable sensing applications through temporal logic specification
    Awan, Asad
    Sameh, Ahmed
    Jagannathan, Suresh
    Grama, Ananth
    COMPUTATIONAL SCIENCE - ICCS 2007, PT 1, PROCEEDINGS, 2007, 4487 : 1205 - +
  • [37] Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans
    Liden Eddeland, Johan
    Claessen, Koen
    Smallbone, Nicholas
    Ramezani, Zahra
    Miremadi, Sajed
    Akesson, Knut
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 39 (12) : 5247 - 5260
  • [38] LTLAS: a language based on temporal logic for agents systems specification
    Mendoza, NF
    Corchado, FFR
    ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 242 - 249
  • [39] Temporal Logic Based Motion Planning with Infeasible LTL Specification
    Xie, Guoshan
    Yin, Zhihong
    Li, Jianqing
    PROCEEDINGS OF THE 32ND 2020 CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2020), 2020, : 4899 - 4904
  • [40] An Interval Temporal Logic for Time Series Specification and Data Integration
    Kosiuczenko, Piotr
    REMOTE SENSING, 2021, 13 (12)
12345