Author of the publication

Formalization of the DE2 Language.

, and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 20-34. Springer, (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Spambase., , , and . (June 1999)Formalization of the DE2 Language., and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 20-34. Springer, (2005)A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA)., and . IJCAR, volume 4130 of Lecture Notes in Computer Science, page 453-467. Springer, (2006)Integrating external deduction tools with ACL2., , , and . J. Appl. Log., 7 (1): 3-25 (2009)A SAT-based procedure for verifying finite state machines in ACL2., and . ACL2, page 127-135. ACM, (2006)Combining ACL2 and an automated verification tool to verify a multiplier., and . ACL2, page 63-70. ACM, (2006)ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool., and . FMCAD, page 161-170. IEEE Computer Society, (2006)