Old Web
English
Sign In
Acemap
>
Paper
>
Comparison of False Alarm Detection using KLEE and CBMC for Effective Multitask Program Verification
Comparison of False Alarm Detection using KLEE and CBMC for Effective Multitask Program Verification
2021
Dongwoo Kim
Yunja Choi
Keywords:
False alarm
Computer science
Speech recognition
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]