( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inferring Inductive Invariants from Phase Structures.

, , , и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 405-425. Springer, (2019)

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.

No persons found for author name Sagiv, Mooly
add a person with the name Sagiv, Mooly
 

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

Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis., , , , и . SAS, том 9291 из Lecture Notes in Computer Science, стр. 252-274. Springer, (2015)Finite differencing of logical formulas for static analysis., , и . ACM Trans. Program. Lang. Syst., 32 (6): 24:1-24:55 (2010)Complexity and Information in Invariant Inference., , , и . CoRR, (2019)Online detection of effectively callback free objects with applications to smart contracts., , , , , , и . Proc. ACM Program. Lang., 2 (POPL): 48:1-48:28 (2018)Property-Directed Reachability as Abstract Interpretation in the Monotone Theory., , , и . CoRR, (2021)Bounded Quantifier Instantiation for Checking Inductive Invariants., , , , и . Log. Methods Comput. Sci., (2019)Parametric shape analysis via 3-valued logic, , и . ACM Trans. Program. Lang. Syst., 24 (3): 217--298 (2002)Thread-Modular Shape Analysis.. VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 3. Springer, (2009)Data Structure Fusion., , , , и . APLAS, том 6461 из Lecture Notes in Computer Science, стр. 204-221. Springer, (2010)Generalizing DPLL to Richer Logics., , и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 462-476. Springer, (2009)