Presentation | 2007-04-26 Implementation of Probabilistic Timed Strong Simulation Algorithm Yuki HASHIZUME, Satoshi YAMANE, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | It is useful for real-time systems with probabilistic behaviors to verify formally probabilistic timed automata. Probabilistic timed strong simulation is a kind of verification technique on probabilistic timed automata. This paper presents an algorithm which treats probabilistic timed strong simulation relation with zone dffectively and makes computation of simulation relation more efficient. We implemented a verification tool based on this technique, and experimented with its tool. in the implementation, we used Python programming language which is better suited for implementation of algorithm. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | probabilistic real-time systems / formal verification / probabilistic timed automaton / probabilistic timed strong simulation relation / Python |
Paper # | COMP2007-6 |
Date of Issue |
Conference Information | |
Committee | COMP |
---|---|
Conference Date | 2007/4/19(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Theoretical Foundations of Computing (COMP) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Implementation of Probabilistic Timed Strong Simulation Algorithm |
Sub Title (in English) | |
Keyword(1) | probabilistic real-time systems |
Keyword(2) | formal verification |
Keyword(3) | probabilistic timed automaton |
Keyword(4) | probabilistic timed strong simulation relation |
Keyword(5) | Python |
1st Author's Name | Yuki HASHIZUME |
1st Author's Affiliation | Division of Electrical and Computer Engineering, Graduate School of Natural Science & Technology, Kanazawa University() |
2nd Author's Name | Satoshi YAMANE |
2nd Author's Affiliation | Division of Electrical and Computer Engineering, Graduate School of Natural Science & Technology, Kanazawa University |
Date | 2007-04-26 |
Paper # | COMP2007-6 |
Volume (vol) | vol.107 |
Number (no) | 24 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |