類似資料

• Separation Logic for Verifying Physical Collisions of CNC Programs
  著者:: Lee, Yeonseok
  出版事項: (2026)
• Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
  著者:: Sigloch, Paul, 等
  出版事項: (2026)
• Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
  著者:: Zhang, Yuanrui
  出版事項: (2024)
• Relative Completeness of Incorrectness Separation Logic
  著者:: Lee, Yeonseok, 等
  出版事項: (2025)
• Flexible Correct-by-Construction Programming
  著者:: Runge, Tobias, 等
  出版事項: (2022)