Vijay D'Silva : Publications
-
[0]
An Abstract Interpretation of DPLL(T)
M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening
In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. 2013.
Details about An Abstract Interpretation of DPLL(T) | BibTeX data for An Abstract Interpretation of DPLL(T)
-
[0]
Abstraction of Syntax
V. D'Silva and D. Kroening
In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. Springer−Verlag. 2013.
Details about Abstraction of Syntax | BibTeX data for Abstraction of Syntax
-
[0]
Abstract Conflict Driven Learning
V. D'Silva‚ L. Haller and D. Kroening
In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013.
Details about Abstract Conflict Driven Learning | BibTeX data for Abstract Conflict Driven Learning
-
[0]
Satisfiability Solvers are Static Analysers
V. D'Silva‚ L. Haller and D. Kroening
In Proc. of Static Analysis Symposium. Pages 317−333. Springer. 2012.
Details about Satisfiability Solvers are Static Analysers | BibTeX data for Satisfiability Solvers are Static Analysers