( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mechanized Information Flow Analysis through Inductive Assertions.

, , , и . FMCAD, стр. 1-4. IEEE, (2008)

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.

Patrick Hunt

Foued Jrad

Daniel Warren

Warren Chan

Bruce Hunt

 

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

Mechanical Verification of SAT Refutations with Extended Resolution., , и . ITP, том 7998 из Lecture Notes in Computer Science, стр. 229-244. Springer, (2013)Function memoization and unique object representation for ACL2 functions., и . ACL2, стр. 81-89. ACM, (2006)Using mathematics on an industrial scale.. ISAIM, (2010)Mechanized Information Flow Analysis through Inductive Assertions., , , и . FMCAD, стр. 1-4. IEEE, (2008)A formal model of a large memory that supports efficient execution., и . FMCAD, стр. 60-67. IEEE, (2012)Verifying Refutations with Extended Resolution., , и . CADE, том 7898 из Lecture Notes in Computer Science, стр. 345-359. Springer, (2013)Formalization of the DE2 Language., и . CHARME, том 3725 из Lecture Notes in Computer Science, стр. 20-34. Springer, (2005)DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs., , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 422-429. Springer, (2014)Meta Reasoning in ACL2., , , , и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2005)Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability., и . Formal Methods Syst. Des., 20 (2): 187-222 (2002)