Filters
Advanced Search Browse by Genre

Found 17 results for "Amir Pnueli"

Time For Verification Essays In Memory Of Amir Pnueli
Time For Verification Essays In Memory Of Amir Pnueli

by Doron A. Peled

2010 1 ed.
Logic design Computer science Verification
Perspectives of Systems Informatics
Perspectives of Systems Informatics

by Amir Pnueli

2010 2 ed.
Logic design Computer science Software engineering
Time for Verification
Time for Verification

by Zohar Manna, Doron A. Peled

2010 1 ed.
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems

by Zohar Manna, Amir Pnueli

1991 3 ed.
Computer programming Symbolic and mathematical... Electronic digital comput...
Temporal Logic in Specification
Temporal Logic in Specification

by Howard Barringer, Amir Pnueli

A Framework for Modal and Temporal Logics

2007 1 ed.
Hybrid Systems : Computation and Control
Hybrid Systems : Computation and Control

by Freek Wiedijk, Oded Maler

2003 1 ed.
Hybrid systems
Hybrid systems

by Oded Maler, Amir Pnueli

2003 1 ed.
Hybrid computers Digital control systems Congresses
Compositionality : the Significant Difference
Compositionality : the Significant Difference

by Willem-Paul de Roever, Hans Langmaack

2003 1 ed.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs

by Krzysztof Apt, Frank S. de Boer

2010 1 ed.
Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems

by Zohar Manna

1995 2 ed.
Computer science
Temporal verification of reactive systems
Temporal verification of reactive systems

by Zohar Manna

1995 1 ed.
Computer software Parallel processing (Elec... Verification
Two approaches to interprocedural data flow analysis
Two approaches to interprocedural data flow analysis

by Micha Sharir

1978 3 ed.
The Temporal Logic of Reactive and Concurrent Systems
The Temporal Logic of Reactive and Concurrent Systems

by Zohar Manna

1992 1 ed.
Logic design Computer Communication Ne... Computer science
Compositionality
Compositionality

by COMPOS '97 (1997 Malente, Germany)

1998 3 ed.
Congresses Parallel processing (Elec... Automatic theorem proving
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs

by Krzysztof R. Apt

2009 1 ed.
Verification Computer software Logic design
Compositionality
Compositionality

A survey is given of the main issues in compositional reasoning about state-based parallelism and of the history of thei...

1998 1 ed.
Parallel processing (Elec... Congresses Automatic theorem proving
Computer Aided Vertification
Computer Aided Vertification

by Gerhard Goos, Juris Hartmanis

The term "reactive system" was introduced by David Harel and Amir Pnueli [HP85], and is now commonly accepted to designa...

1998 1 ed.
Computer software, verifi... Computer software Verification