Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings von Melham, Thomas F, Camilleri, Juanito

Volltext

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings von Margaria, Tiziana, Melham, Tom

Volltext

Prosper An Investigation into Software Architecture for Embedded Proof Engines von Melham, Thomas F.

Volltext

Using Nuprl for the Verification and Synthesis of Hardware [and Discussion] von Leeser, Miriam, Melham, T. F., Hunt, W. A., Clarke, E. M.

Volltext

Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving von Aagaard, Mark D., Melham, Thomas F., O’Leary, John W.

Volltext

Practical formal verification in microprocessor design von Jones, R.B., O'Leary, J.W., Seger, C.-J.H., Aagaard, M.D., Melham, T.F.

Volltext

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings von Hurd, Joe, Melham, Tom

Volltext

Special issue editorial. Higher order logic theorem proving and its application von Melham, T. F.

Volltext

Abstraction by Symbolic Indexing Transformations von Melham, Thomas F., Jones, Robert B.

Volltext

A methodology for large-scale hardware verification von AAGAARD, Mark D, JONES, Robert B, MELHAM, Thomas F, O'LEARY, John W, SEGER, Carl-Johan H

Volltext

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Volltext

A Package For Inductive Relation Definitions In HOL von Melham, T.F.

Volltext bestellen

The HOL logic extended with quantification over type variables von Melham, Thomas F.

Volltext

2OBJ: A Metalogical Framework Theorem Prover Based on Equational Logic [and Discussion] von Joseph Goguen, Andrew Stevens, Hendrik Hilberdink, Keith Hobley, W. A. Hunt, T. F. Melham

Volltext

2OBJ: A Metalogical Framework Theorem Prover Based on Equational Logic [and Discussion] von Goguen, Joseph, Stevens, Andrew, Hilberdink, Hendrik, Hobley, Keith, Hunt, W. A., Melham, T. F.

Volltext

Using Nuprl for the verification and synthesis of hardware. Discussion: Mechanised reasoning and hardware design von LEESER, M, MELHAM, T. F, LEESER, M, HUNT, W. A, CLARKE, E. M

Volltext

2OBJ : a metalogical framework theorem prover based on equational logic. Discussion: Mechanised reasoning and hardware design von GOGUEN, J, STEVENS, A, HILBERDINK, H, HOBLEY, K, HUNT, W. A, GOGUEN, J. A, MELHAM, T. F

Volltext

2OBJ: a metalogical framework theroem prover based on equational logic von Goguen, Joseph, Stevens, Andrew, Hilberdink, Hendrik, Hobley, Keith

Volltext

Studying the ML module system in HOL von Maharaj, Savi, Gunter, Elsa

Volltext

Trustworthy tools for trustworthy programs: A verified verification condition generator von Homeier, Peter V., Martin, David F.

Volltext