( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lazy proofs for DPLL(T)-based SMT solvers.

, , , , и . FMCAD, стр. 93-100. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Liana Lazar

Liana Stier

Liana Tejmar

Liana Goletiani

Liana Meisel

 

Другие публикации лиц с тем же именем

CVC4., , , , , , , и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 171-177. Springer, (2011)One-click formal methods.. ICST, стр. 1. IEEE, (2020)A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors., , , , и . CAV, том 8559 из Lecture Notes in Computer Science, стр. 680-695. Springer, (2014)Block public access: trust safety verification of access control policies., , , , , , , , , и 4 other автор(ы). ESEC/SIGSOFT FSE, стр. 281-291. ACM, (2020)Efficient and Trustworthy Theory Solver for Bit-vectors in SatisfiabilityModulo Theories.. New York University, USA, (2015)Automatic Generation of Propagation Complete SAT Encodings., , , и . VMCAI, том 9583 из Lecture Notes in Computer Science, стр. 536-556. Springer, (2016)Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors., , , , и . LPAR, том 9450 из Lecture Notes in Computer Science, стр. 340-355. Springer, (2015)RAPID: checking API usage for the cloud in the cloud., , , , , , , и . ESEC/SIGSOFT FSE, стр. 1416-1426. ACM, (2021)Lazy proofs for DPLL(T)-based SMT solvers., , , , и . FMCAD, стр. 93-100. IEEE, (2016)Compositional Taint Analysis for Enforcing Security Policies at Scale., , , , , , , , , и 2 other автор(ы). ESEC/SIGSOFT FSE, стр. 1985-1996. ACM, (2023)