( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Differential assertion checking.

, , , и . ESEC/SIGSOFT FSE, стр. 345-355. ACM, (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.

David McMillan

Kenneth Anders

Kenneth Simon

Kenneth Froese

Kenneth Ndyabawe

 

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

A Case Study in Analytic Protocol Analysis in ACL2., , , , и . ACL2, том 393 из EPTCS, стр. 50-66. (2023)Abstractions from proofs., , , и . POPL, стр. 232-244. ACM, (2004)Learning Abstractions for Program Synthesis., , , и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 407-426. Springer, (2018)Beautiful Interpolants., и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 313-329. Springer, (2013)Probabilistic state space search., , и . ICCAD, стр. 574-579. IEEE Computer Society, (1999)A methodology for correct-by-construction latency insensitive design., , , и . ICCAD, стр. 309-315. IEEE Computer Society, (1999)Deciding Global Partial-Order Properties., , и . ICALP, том 1443 из Lecture Notes in Computer Science, стр. 41-52. Springer, (1998)Invisible Invariants and Abstract Interpretation., и . SAS, том 6887 из Lecture Notes in Computer Science, стр. 249-262. Springer, (2011)Some Strategies for Proving Theorems with a Model Checker.. LICS, стр. 305-306. IEEE Computer Society, (2000)Synthesizing Converters Between Finite State Protocols., и . ICCD, стр. 410-413. IEEE Computer Society, (1991)