What can you Decide about Resetable Arrays?

類似資料

• On Model Checking Data−independent Systems with Arrays without Reset
  著者:: Roscoe, A, 等
  出版事項: (2001)
• On Model Checking Data−independent Systems with Arrays without Reset
  著者:: Roscoe, A, 等
  出版事項: (2004)
• Polymorphic systems with arrays: decidability and undecidability
  著者:: Roscoe, A, 等
  出版事項: (2003)
• What is Decidable about Strings?
  著者:: Ganesh, Vijay, 等
  出版事項: (2011)
• What's decidable about linear loops?
  著者:: Karimov, T, 等
  出版事項: (2022)