Presentation Information
[B-6-06]Method for Detecting/Fixing Bugs Caused by Unexpected Behavior in Commercial Operation Phase
〇Hiroki Inoue1, Takayuki Fujiwara1, Satoshi Nakatsukasa1 (1. NIPPON TELEGRAPH AND TELEPHONE CORPORATION)
Keywords:
Formal verification,Verification,before somethings happen