Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic

DOI

Bibliographic Information

Other Title
  • ダイナミックな実時間状態推移システムに対する線形論理を用いた形式検証

Abstract

We give a method for safety verification of real-time system by means of Linear Logic. Our method is applied especially to a system in which a number of agents and/or time constraint conditions can be changed dynamically. We illustrate a method to find a conjecture of safety condition in our framework, using a simple example.

Journal

Keywords

Details 詳細情報について

Report a problem

Back to top