( en | de | ru )

 

Disambiguation of "Melham, Thomas F."

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Abstraction in Symbolic Trajectory Evaluation.

, , , and . FMCAD, page 127-135. IEEE Computer Society, (2007)

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.

Thomas F Geyer

Thomas F Stocker

Thomas F Wienker

Thomas F Günter

Thomas F Fischer

 

Other publications of authors with the same name

The HOL Logic Extended with Quantification over Type Variables.. Formal Methods Syst. Des., 3 (1/2): 7-24 (1993)Abstraction by Symbolic Indexing Transformations., and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 1-18. Springer, (2002)Xs are for Trajectory Evaluation, Booleans are for Theorem Proving., , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 202-218. Springer, (1999)A Package for Inductive Relation Definitions in HOL.. TPHOLs, page 350-357. IEEE Computer Society, (1991)An industrially effective environment for formal hardware verification., , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 24 (9): 1381-1405 (2005)PROSPER - An Investigation into Software Architecture for Embedded Proof Engines.. FroCoS, volume 2309 of Lecture Notes in Computer Science, page 193-206. Springer, (2002)Integrating Model Checking and Theorem Proving in a Reflective Functional Language.. IFM, volume 2999 of Lecture Notes in Computer Science, page 36-39. Springer, (2004)Formally Analyzed Dynamic Synthesis of Hardware., and . J. Supercomput., 19 (1): 7-22 (2001)Automatic Abstraction in Symbolic Trajectory Evaluation., , , and . FMCAD, page 127-135. IEEE Computer Society, (2007)Interactive Theorem Proving: An Empirical Study of User Activity., , , and . J. Symb. Comput., 25 (2): 263-284 (1998)