( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Loop summarization using state and transition invariants.

, , , , и . Formal Methods Syst. Des., 42 (3): 221-261 (2013)

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.

Natasha Schlothauer

Natasha Karnatz

Natasha Sacks

Natasha Moser

Natasha Diller

 

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

An extension of lazy abstraction with interpolation for programs with arrays., , , , и . Formal Methods Syst. Des., 45 (1): 63-109 (2014)SolCMC: Solidity Compiler's Model Checker., , , и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 325-338. Springer, (2022)Lookahead-Based SMT Solving., , , , и . LPAR, том 57 из EPiC Series in Computing, стр. 418-434. EasyChair, (2018)SMTS: Distributed, Visualized Constraint Solving., , и . LPAR, том 57 из EPiC Series in Computing, стр. 534-542. EasyChair, (2018)A Parametric Interpolation Framework for First-Order Theories., , и . MICAI (1), том 8265 из Lecture Notes in Computer Science, стр. 24-40. Springer, (2013)Concurrent software verification with states, events, and deadlocks, , , , и . Formal Aspects of Computing, V17 (4): 461--483 (декабря 2005)Booster: An Acceleration-Based Verification Framework for Array Programs., , и . ATVA, том 8837 из Lecture Notes in Computer Science, стр. 18-23. Springer, (2014)SATABS: SAT-Based Predicate Abstraction for ANSI-C., , , и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 570-574. Springer, (2005)eVolCheck: Incremental Upgrade Checker for C., , и . TACAS, том 7795 из Lecture Notes in Computer Science, стр. 292-307. Springer, (2013)Cogent: Accurate Theorem Proving for Program Verification., , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 296-300. Springer, (2005)