A brief overview of HOL4 K Slind, M Norrish International Conference on Theorem Proving in Higher Order Logics, 28-32, 2008 | 425 | 2008 |
Monitoring distributed systems J Joyce, G Lomow, K Slind, B Unger ACM Transactions on Computer Systems (TOCS) 5 (2), 121-150, 1987 | 421 | 1987 |
The PROSPER toolkit LA Dennis, G Collins, M Norrish, R Boulton, K Slind, G Robinson, ... Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000 | 111 | 2000 |
Function definition in higher-order logic K Slind International Conference on Theorem Proving in Higher Order Logics, 381-397, 1996 | 101 | 1996 |
Nemos: A framework for axiomatic and executable specifications of memory consistency models Y Yang, G Gopalakrishnan, G Lindstrom, K Slind 18th International Parallel and Distributed Processing Symposium, 2004 …, 2004 | 98 | 2004 |
Machine-code verification for multiple architectures-an application of decompilation into logic MO Myreen, MJC Gordon, K Slind 2008 Formal Methods in Computer-Aided Design, 1-8, 2008 | 79 | 2008 |
Resolute: an assurance case language for architecture models A Gacek, J Backes, D Cofer, K Slind, M Whalen ACM SIGAda Ada Letters 34 (3), 19-28, 2014 | 75 | 2014 |
Reasoning about terminating functional programs K Slind Technische Universität München, 1999 | 68 | 1999 |
I/O automata in Isabelle/HOL T Nipkow, K Slind International Workshop on Types for Proofs and Programs, 101-119, 1994 | 68 | 1994 |
Decompilation into logic—improved MO Myreen, MJC Gordon, K Slind 2012 Formal Methods in Computer-Aided Design (FMCAD), 78-81, 2012 | 50 | 2012 |
An interface between CLAM and HOL R Boulton, K Slind, A Bundy, M Gordon Theorem Proving in Higher Order Logics: 11th International Conference …, 1998 | 50 | 1998 |
Derivation and use of induction schemes in higher-order logic K Slind International Conference on Theorem Proving in Higher Order Logics, 275-290, 1997 | 49 | 1997 |
Executing the formal semantics of the Accellera property specification language by mechanised theorem proving M Gordon, J Hurd, K Slind Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 47 | 2003 |
Live sequence charts applied to hardware requirements specification and verification: A VCI bus interface model A Bunker, G Gopalakrishnan, K Slind International Journal on Software Tools for Technology Transfer 7, 341-350, 2005 | 43 | 2005 |
Analyzing the Intel Itanium memory ordering rules using logic programming and SAT Y Yang, G Gopalakrishnan, G Lindstrom, K Slind Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 43 | 2003 |
Treating partiality in a logic of total functions O Müller, K Slind The computer journal 40 (10), 640-651, 1997 | 36 | 1997 |
Structure of a proof-producing compiler for a subset of higher order logic G Li, S Owens, K Slind Programming Languages and Systems: 16th European Symposium on Programming …, 2007 | 35 | 2007 |
The PROSPER toolkit LA Dennis, G Collins, M Norrish, RJ Boulton, K Slind, TF Melham International Journal on Software Tools for Technology Transfer 4, 189-210, 2003 | 33 | 2003 |
Extensible proof-producing compilation MO Myreen, K Slind, MJC Gordon Compiler Construction: 18th International Conference, CC 2009, Held as Part …, 2009 | 29 | 2009 |
Functional correctness proofs of encryption algorithms J Duan, J Hurd, G Li, S Owens, K Slind, J Zhang Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005 | 29 | 2005 |