Runtime Verification on Abstracted Finite State Models

被引：0
|
作者：
Jevitha, K.P. [1 ]
Jayaraman, Bharat [1 ,2 ]
Sethumadhavan, M. [3 ]
机构：
[1] Department of Computer Science and Engineering, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Coimbatore, India
[2] Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo,NY, United States
[3] TIFAC CORE in Cyber Security, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Coimbatore, India
来源：
SSRN | 2022年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Java programming language
引用
收藏
相关论文
共 50 条
  • [21] From finite state machines to provably correct java card applets
    Hubbers, Engelbert
    Oostdijk, Martijn
    Poll, Erik
    IFIP Advances in Information and Communication Technology, (465-470):
  • [22] MINIMAL REPRESENTATION OF SOME FINITE-STATE OPTIMIZATION PROBLEMS.
    Tanaka, Yasuhiro
    Ibaraki, Toshihide
    Hasegawa, Toshiharu
    Systems - Computers - Controls, 1974, 5 (06): : 39 - 46
  • [23] Partially Prestressed Concrete Structures, Development in the Netherlands. Verification of the Limit State of Serviceability.
    Bruggeling, A.S.G.
    Archiwum Inzynierii Ladowej, 1980, 26 (03): : 461 - 479
  • [24] MULTIPLE FINITE PRODUCTION-RATE DYNAMIC LOT SIZE INVENTORY MODELS
    SETHI, S
    CHAND, S
    OPERATIONS RESEARCH, 1981, 29 (05) : 931 - 944
  • [25] A clustering tool for interrogating finite element models based on eigenvectors of graph adjacency
    Kannan, Ramaseshan
    arXiv, 2023,
  • [26] Inequalities between ground-state energies of Heisenberg models
    Wojtkiewicz, Jacek
    Skolasiński, Rafal
    Physica A: Statistical Mechanics and its Applications, 2015, 419 : 134 - 144
  • [27] Study of linear models in steady state analysis of power systems
    Yan, Ping
    Sekar, A.
    Proceedings of the Annual Southeastern Symposium on System Theory, 2001, 2001-January : 127 - 131
  • [28] Obstacle Avoidance Behavior Design in Hexapod Robots using Finite State Machine
    Supratno, Setyo
    Rohamid
    Sucipto, Putra Wisnu Agung
    Firasanti, Annisa
    Adara, Reza Anggriyashati
    Hamidi, Eki Ahmad Zaki
    2023 IEEE 9th International Conference on Computing, Engineering and Design, ICCED 2023, 2023,
  • [29] Finite-time stabilization for Markov jump systems via state feedback
    He, Shu-Ping
    Liu, Fei
    Kongzhi yu Juece/Control and Decision, 2009, 24 (01): : 91 - 95
  • [30] On atomic state purity operator, degree of state purity and concurrence in the JC and anti-JC models
    Omolo, Joseph Akeyo
    arXiv, 2022,
12345