Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Electronic design automation / Constraint programming / Satisfiability Modulo Theories / Reasoning system / Formal verification / Solver / Algorithm / Theoretical computer science / Applied mathematics / Mathematics


SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised
Add to Reading List

Document Date: 2010-10-26 18:47:17

Open Document

File Size: 1,40 MB

Share Result on Facebook

City

SATISFIABILITY / Engineering Satisfiability / Reading / /

Company

Maximally Best Solutions / /

Facility

Synthesis Scaffold / College Park / University of Maryland / /

IndustryTerm

program reasoning technology / program reasoning tools / concrete solutions / prototype tools / synthesis tools / /

Organization

Professor Jeffrey S. Foster Department of Computer Science Program / Jeffrey S. Foster Department of Computer Science Program / Graduate School / University of Maryland / University of Maryland / College Park / Advisory Committee / /

Person

Bobby Bhattacharjee / Prakash / Sumit Gulwani / Samir Khuller / Stephen / Mike Hicks / Preeti / Jeff Foster / Sumit Gulwani Professor Jonathan / Abhishek / Evan / Aravind Srinivasan / David An / Mike Furr / Mike Boyle / David Greenfieldboyce / Michael W. Hicks / Ted / Prashast / Srinivas Kashyap / Avik / Martin / Dheeraj Sanghi / Jonathan Katz Professor Mike Boyle / Jeffrey S. Foster / Jonathan Katz / Ajit K. Chaturvedi / /

Position

constant role model for my personal life / Chair /Advisor / advisor / Professor / advisors / researcher / undergraduate research advisors / General / professor and researcher / second advisor / /

ProvinceOrState

Maryland / /

PublishedMedium

Inorganic Chemistry / /

RadioStation

Work 139 / Work 8.1 / /

Technology

3.6 Satisfiability-based Algorithm / Satisfiability-based Algorithms / program reasoning technology / 5.3 Sorting Algorithms / 5.4 Dynamic Programming Algorithms / 5.2 Algorithms / /

SocialTag