Programming with constraint solvers toward a shared infrastructure for code checking, angelic execution, debugging, and synthesis - Formal methods - Document - PDFSEARCH.IO

First Page	Meta Content
	Programming with constraint solvers toward a shared infrastructure for code checking, angelic execution, debugging, and synthesis Add to Reading List Document Date: 2014-08-13 19:27:02 Open Document File Size: 2,35 MB Share Result on Facebook City Oxford / / Company IBM / / Organization MIT / UCLA / / Person MIN CORE / / RadioStation CORE 5 / / SocialTag Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL X Window System Theoretical computer science Computing

Programming with constraint solvers toward a shared infrastructure for code checking, angelic execution, debugging, and synthesisAdd to Reading List