1 code implementation • 15 Dec 2022 • Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya, Deepak D'Souza, Aditya Kanade
In this paper, we introduce a tool BNSynth, that is the first to solve the BFS problem under a given bound on the solution space.
no code implementations • 26 Dec 2017 • Deepak D'Souza, P. Ezudheen, Pranav Garg, P. Madhusudan, Daniel Neider
We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model.