Login / Signup

Efficient Realizability Checking by Modularization of LTL Specifications.

Sohei ItoKenji OsariMasaya ShimakawaShigeki HagiharaNaoki Yonezaki
Published in: Comput. J. (2022)
Keyphrases
  • cost effective
  • model checking
  • computationally efficient
  • bounded model checking
  • real time
  • databases
  • artificial intelligence
  • temporal logic
  • software design