Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Zahra Rahmani Zadeh"'
Publikováno v:
IEEE Access, Vol 11, Pp 75748-75760 (2023)
This paper proposes an incremental optimization framework for verifying graph transformation systems to overcome the state space explosion (SSE). SSE refers to the exponential growth of the number of possible states in a system during its verificatio
Externí odkaz:
https://doaj.org/article/c40eb7140f364ab4bfdfb4f43f390b19
