Searching for authors named Amir Pnueli – sorted by Relevance.
117 documents found, showing 1 through 10.
Next 10 →
-
Lecture Notes for CS Course: 96420-2 Enumerative Methods for Model Checking
- …Lecture Notes for CS Course: 96420-2 Enumerative Methods for Model Checking A. Pnueli May 25, 1996…
- Add To MetaCart
-
System Specification and Refinement in Temporal Logic
- …System Specification and Refinement in Temporal Logic Amir Pnueli y November 8, 1995 Abstract…
- Cited by 13 (0 self) – Add To MetaCart
-
2005, ‘Extracting Controllers for Timed Automata
- …Extracting Controllers for Timed Automata ⋆ Amir Pnueli 12 1 Department of Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
Temporal Specification and Verification of Reactive Modules
- … and Weizmann Institute of Science z Amir Pnueli Weizmann Institute of Science z March 3, 1992 Abstract…
- Cited by 5 (0 self) – Add To MetaCart
-
Time for Concurrency
- …Time for Concurrency Zohar Manna y Amir Pnueli z October 6, 1992 Abstract. A hierarchy…
- Cited by 1 (0 self) – Add To MetaCart
-
An Exercise in the Verification of Multi-Process Programs
- … and Weizmann Institute of Science z Amir Pnueli Weizmann Institute of Science: z October, 1989 Abstract We…
- Cited by 7 (4 self) – Add To MetaCart
-
Beyond Regular Model Checking
- …Beyond Regular Model Checking Dana Fisman and Amir Pnueli Faculty of Mathematics and Computer…
- Cited by 5 (1 self) – Add To MetaCart
-
On the Cascaded Decomposition of Automata, its Complexity and its Application to Logic
- …) Oded Maler Amir Pnueli November 15, 1994 Abstract The primary decomposition theorem due to Krohn…
- Cited by 4 (0 self) – Add To MetaCart
-
On the Faithfulness of Formal Models
- …1 On the Faithfulness of Formal Models Zohar Manna Amir Pnueli Stanford University y Weizmann…
- Cited by 6 (0 self) – Add To MetaCart
-
Verification of Parameterized Programs
- …Verification of Parameterized Programs Zohar Manna and Amir Pnueli 1 Introduction In this chapter…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
