S. A. Seshia

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

UCLID5: Integrating Modeling, Verification, Synthesis and Learning

S. A. Seshia and others (2018) · IEEE

Introduction to embedded systems

E. A. Sakarovitch and others (2013) · 2013.

Learning conditional abstractions

B. A. Brady and others (2011) · 2011 Formal Methods in Computer-Aided Design (FMCAD)

ATLAS: Automatic Term-level abstraction of RTL designs

B. A. Brady and others (2010) · IEEE