C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
RTL bug localization through LTL specification mining (WIP).
Vighnesh Iyer
Donggyu Kim
Borivoje Nikolic
Sanjit A. Seshia
Published in:
MEMOCODE (2019)
Keyphrases
</>
bug localization
linear temporal logic
transition systems
text mining
model checking
temporal logic
knowledge discovery
web mining
formal verification
data mining
website
similarity measure
least squares