IKCEST

Conference Proceedings of Japan Society for Software Science and Technology | Vol., Issue. | | Pages A-3

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

Koji Hasebe Mitsuhiro Okada Jean-Pierre Jouannaud Antoine Kremer Roland Zumkeller

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.

Original Text (This is the original text for your reference.)

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

+More

Keywords

time constraint conditions example safety verification of realtime system linear logic

Cite this article

APA

MLA

Chicago

Koji Hasebe Mitsuhiro Okada Jean-Pierre Jouannaud Antoine Kremer Roland Zumkeller,.Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic. (),A-3.

Disclaimer: The translated content is provided by third-party translation service providers, and IKCEST shall not assume any responsibility for the accuracy and legality of the content.