Skip to main content

Browsing by Author Malik, Sharad

Showing results 1 to 4 of 4
Publication DateArticle TitleAuthor(s)
26-Aug-2015Boolean Satisfiability Solvers and Their Applications in Model CheckingVizel, Y; Weissenbacher, G; Malik, Sharad
29-Mar-2016Constrained sampling and counting: Universal hashing meets SAT solvingMeel, KS; Vardi, MY; Chakraborty, S; Fremont, DJ; Seshia, SA; et al
18-Jul-2018Lazy self-composition for security verificationYang, W; Vizel, Y; Subramanyan, P; Gupta, A; Malik, Sharad
2014Using flow specifications of parameterized cache coherence protocols for verifying deadlock freedomSethi, D; Talupur, M; Malik, Sharad