Login / Signup
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails.
Yu-Shan Sun
Daniel Welch
Murali Sitaraman
Published in:
AppFM@FM (2021)
Keyphrases
</>
human reasoning
machine learning
prior knowledge
co occurrence