#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1975

2015

- This year (0)
- Last 5 years (1)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Nachum Dershowitz, Leo Marcus, Andrzej Tarlecki
- SIAM J. Comput.
- 1988

- Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas
- TPCD
- 1992

- Leo Marcus
- IJARAS
- 2011

This paper explores the concept of “pure fault tolerance”--when a system can fulfill its computational goal, even though some of its components do not fulfill theirs. This leads to a natural statement of the composition problem for a very general concept of architecture: to what extent are the properties of a system based on that architecture a function of… (More)

- Leo Marcus, Timothy Redmond
- CSFW
- 1988

- Leo Marcus
- Fundam. Inform.
- 1996

- Dono Van-Mierop, Leo Marcus, Steve Crocker
- MICRO
- 1978

At ISI, we are halfway into a two year research program in microcode verification. We are focussing our attention on microcode that implements a target instruction set. The Fault-Tolerant Spaceborne Computer is a typical microcoded machine and we are using an early version of it as the prime example for the present work. example for the present work. The… (More)

- Leo Marcus, Stephen D. Crocker, Jaisook Landauer
- MICRO
- 1984

This paper is a progress report on an experimental system, the state delta verification system (SDVS), for verifying microcode correctness. The goal of this project is to solve some of the problems, both theoretical and engineering, obstructing the realization of a usable and applicable program for checking proofs of microcode correctness. The ideal result… (More)

- Leo Marcus, Telis Menas
- Acta Informatica
- 1992

We examine the common and seemingly simple specification that the output stream equals the input stream. We show that this is not in full generality expressible in first-order or temporal logic by an infinite set of sentences or a recursive specification, but requires certain extra assumptions, such as the existence of a clock or discrete input values. The… (More)

- Leo Marcus
- Formal Methods in System Design
- 1996

- Hanan Samet, Leo Marcus
- Inf. Process. Lett.
- 1980

Equality data bases are important in facilitating proofs of equality between terns. They are useful in the implementation of code optimizers [2], program verifiers [7,9], theorem provers [I], and symbolic execution systems [S]. In these applications the typical operations are determining whether or not two terms are known to be equal and updating the data… (More)