Old Web
English
Sign In
Acemap
>
Paper
>
A Method to Analyze NuSMV Counterexamples for Defect Cause Analysis
A Method to Analyze NuSMV Counterexamples for Defect Cause Analysis
2019
Ohike Yutaro
Ogata Shinpei
Aoki Yoshitaka
Nakagawa Hiroyuki
Kobayashi Kazuki
Okano Kozo
Keywords:
Model checking
Counterexample
Parsing
Theoretical computer science
Computer science
cause analysis
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]