Publications of Alberto Griggio
es-static.fbk.eu
Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening. Deciding Floating-Point Logic with Abstract Conflict Driven Clause Learning.
Department of Computer Science, University of Oxford: Daniel Kroening...
www.cs.ox.ac.uk
Publications, by date, Department of Computer Science, Oxford, Daniel Kroening
Vijay D'Silva - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Mathematics Subject Classification: 06—Order, lattices, ordered algebraic structures. Advisor 1: Daniel Kröning. No students known. If you have additional ...
Validation of Evolving Software - Page Google Books Result
books.google.com
Vijay D'Silva, Daniel Kroening, and Georg Weissenbacher. A survey of automated techniques for formal software verification.IEEE Trans. on CAD of Integrated ...
Verification, Model Checking, and Abstract Interpretation: 14th ...
books.google.com
396 Vijay D'Silva and Daniel Kroening Session 8: Combining Boolean Solving and Abstract Domains for Theories Logico-Numerical Max-Strategy Iteration .
[ ] Abstract Interpretation with Unfoldings - arXivarxiv.org › cs
arxiv.org
by M Sousa · · Cited by 11 — Title:Abstract Interpretation with Unfoldings. Authors:Marcelo Sousa, César Rodríguez, Vijay D'Silva, Daniel Kroening.
Interpolant Strength | SpringerLinklink.springer.com › chapter
link.springer.com
by V D’Silva · · Cited by 125 — Interpolant Strength. Vijay D'Silva,; Daniel Kroening,; Mitra Purandare & … Georg Weissenbacher.
Wikipedia: Software verification - Wikipedia
Software verification asks the question, ... Vijay D'Silva, Daniel Kroening, Georg Weissenbacher: A Survey of Automated Techniques for Formal Software Verification.
All web results to the name "Vijay d'Silva"
Publications - Daniel Kroeningwww.kroening.com › publications › view-publications-dhkt2012
www.kroening.com
Title: Numeric Bounds Analysis with Conflict-Driven Learning. Links: Homepage · Document as PDF. Authors: Vijay D'Silva. Leopold Haller.
Publications - Daniel Kroeningwww.kroening.com › publications › view-publications-dk2013-vmcai
www.kroening.com
Authors: Vijay D'Silva. Daniel Kroening EMail. Remarks: Topics: Bibtex: @inproceedings{dk2013-vmcai, AUTHOR = { D'Silva, Vijay and Kroening, ...
POPL 2014: 41st ACM SIGACT-SIGPLAN Symposium on Principles of...
popl.mpi-sws.org
Abstract Satisfaction. Vijay D'Silva (University of California), Leopold Haller (University of Oxford), Daniel Kroening (University of Oxford). Proofs That Count.
Publications
www.georg.weissenbacher.name
with Vijay D'Silva and Daniel Kröning. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 27, Issue 7, July
POPL 2013: 40th ACM SIGACT-SIGPLAN Symposium on Principles of...
popl.mpi-sws.org
Vijay D'Silva (University of California, Berkeley) and Leopold Haller and Daniel Kroening (University of Oxford); Abstraction and Invariance for Algebraically ...
VMCAI Accepted Papers
vmcai13.di.univr.it
Martin Brain, Vijay D'Silva, Leopold Haller, Alberto Griggio and Daniel Kroening. An Abstract Interpretation of DPLL(T). Kedar Namjoshi and Richard Trefler.
NSV-3: Third International Workshop on Numerical Software...
www.lix.polytechnique.fr
Vijay D'Silva, Leopold Haller and Daniel Kroening. SMT-Style Program Analysis with Value-based Refinements. slides, photo . 11:00-11:30. Stef Graillat,
Publications
www.kroening.com
Authors: Vijay D'Silva. Mitra Purandare. Georg Weissenbacher. Daniel Kroening EMail. Remarks: Topics: Bibtex: @inproceedings{dpwk2010, AUTHOR = { D'Silva, ...
Related search requests for Vijay d'Silva
Caterina Urban Mathias Payer Alberto Griggio | Nikhil Farias Yi Ling Leung Lisa Godin |
Person "D'silva" (2) Forename "Vijay" (6838) Name "D'silva" (332) |
sorted by relevance / date