Ilmenauer Discovery Tool

1

A temporal proof methodology for reactive systems

by Manna, Zohar
Published 1993

Book

2

Adequate proof properties for invariance and liveness properties of concurrent programs

by Manna, Zohar
Published 1984

Book

3

The origin of the binary-search paradigm

by Manna, Zohar
Published 1985

Book

4

Mathematical theory of computation

by Manna, Zohar
Published (1974)

Book

5

Models for reactivity

by Manna, Zohar
Published in Acta Informatica

electronic Article

6

The logical basis for computer programming ; 2 ; Deductive systems

by Manna, Zohar
Published in The logical basis for computer programming (1990)

Book

7

Problematic features of programming languages: a situational-calculus approach

by Manna, Zohar
Published in Acta Informatica

electronic Article

8

The temporal logic of reactive and concurrent systems

by Manna, Zohar
Published 1992-

Book

9

The logical basis for computer programming

by Manna, Zohar

Book

10

The logical basis for computer programming ; 1 ; Deductive reasoning

by Manna, Zohar
Published in The logical basis for computer programming (1985)

Book

11

Temporal Logic of Reactive and Concurrent Systems : Specification

by Manna, Zohar
Published 1992

eBook

12

The Temporal Logic of Reactive and Concurrent Systems : Specification

by Manna, Zohar
Published 1992

eBook

13

Clocked transition systems

by Manna, Zohar
Published 1996

Book

14

How to cook a temporal proof system for your pet language

by Manna, Zohar
Published 1982

Book

15

The modal logic of programs

by Manna, Zohar
Published 1979

Book

16

Proving precedence properties: the temporal way

by Manna, Zohar
Published 1983

Book

17

The logical basis for computer programming ; 1 ; Deductive reasoning

by Manna, Zohar
Published in The logical basis for computer programming (1985)

Book

18

Verification of concurrent programs: proving eventualitites by well-founded ranking

by Manna, Zohar
Published 1982

Book

19

The logical basis for computer programming

by Manna, Zohar
Published 1985-

Book

20

Mathematical theory of computation

by Manna, Zohar
Published 1974

Book

Narrow Search

Broaden Search