According to our database1, Leo Marcus
Legend:Book In proceedings Article PhD thesis Other
Abstract Fault Tolerance: A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction.
Electr. Notes Theor. Comput. Sci., 2009
Syntactic and Semantic Dependence of Array-Arithmetic Sentences, with an Application to Program Verification.
Fundam. Inform., 1996
The Incorporation of Testing into Formal Verification: Direct, Modular, and Hierarchical Correctness Degrees.
Formal Methods in System Design, 1996
The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract).
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994
Expressibility of Output Equals Input.
Acta Inf., 1992
Using the State Delta Verification System (SDVS) for Hardware Verification.
Proceedings of the Theorem Provers in Circuit Design, 1992
Safety via State Transition Language Plus Invariants.
Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989
Existence, Uniqueness, and Construction of Rewrite Systems.
SIAM J. Comput., 1988
A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies.
Proceedings of the First IEEE Computer Security Foundations Workshop, 1988
Two Automated Methods in Implementation Proofs.
Proceedings of the 9th International Conference on Automated Deduction, 1988
SDVS: A system for verifying microcode correctness.
Proceedings of the 17th annual workshop on Microprogramming, 1984
Purging in an Equality Data Base.
Inf. Process. Lett., 1980
Verification of the FTSC microprogram.
Proceedings of the 11th annual workshop on Microprogramming, 1978
The <-Order on Submodels.
J. Symb. Log., 1976
A type-open minimal model.
Arch. Math. Log., 1975