Suchergebnisse - Kesten, Yonit

1

A compositional approach to CTL verification von Kesten, Yonit, Pnueli, Amir

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Control and data abstraction: the cornerstones of practical formal verification von Kesten, Yonit, Pnueli, Amir

Veröffentlicht in International journal on software tools for technology transfer

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Verification by Augmented Finitary Abstraction von Kesten, Yonit, Pnueli, Amir

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Bridging the gap between fair simulation and trace inclusion von Kesten, Yonit, Piterman, Nir, Pnueli, Amir

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Algorithmic verification of linear temporal logic specifications von Kesten, Yonit, Pnueli, Amir, Raviv, Li-on

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Bridging the Gap between Fair Simulation and Trace Inclusion von Kesten, Yonit, Piterman, Nir, Pnueli, Amir

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Complete Proof System for QPTL von Kesten, Yonit, Pnueli, Amir

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Model Checking with Strong Fairness von Kesten, Yonit, Pnueli, Amir, Raviv, Li-On, Shahar, Elad

Veröffentlicht in Formal methods in system design

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Temporal verification of simulation and refinement von Kesten, Yonit, Manna, Zohar, Pnueli, Amir

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Modularization and abstraction: The keys to practical formal verification von Kesten, Yonit, Pnueli, Amir

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

A Deductive Proof System for CTL von Pnueli, Amir, Kesten, Yonit

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Verifying clocked transition systems von Kesten, Yonit, Manna, Zohar, Pnueli, Amir

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Verification by Augmented Abstraction: The Automata–Theoretic View von Kesten, Yonit, Pnueli, Amir, Vardi, Moshe Y.

Veröffentlicht in Journal of computer and system sciences

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Verification of clocked and hybrid systems von Kestent, Yonit, Manna, Zohar, Pnueli, Amir

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Automatic Verification of Probabilistic Free Choice von Zuck, Lenore, Pnueli, Amir, Kesten, Yonit

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Verifying liveness by augmented abstraction von KESTEN, Y, PNUELI, A. A

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Verification of clocked and hybrid systems von KESTEN, Y, MANNA, Z, PNUELL, A

Veröffentlicht in Acta informatica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Network Invariants in Action von Kesten, Yonit, Pnueli, Amir, Shahar, Elad, Zuck, Lenore

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software von Kesten, Yonit, Klein, Amit, Pnueli, Amir, Raanan, Gil

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

A complete proof systems for QPTL von Kesten, Y., Pnueli, A.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

A compositional approach to CTL verification von Kesten, Yonit, Pnueli, Amir

Control and data abstraction: the cornerstones of practical formal verification von Kesten, Yonit, Pnueli, Amir

Verification by Augmented Finitary Abstraction von Kesten, Yonit, Pnueli, Amir

Bridging the gap between fair simulation and trace inclusion von Kesten, Yonit, Piterman, Nir, Pnueli, Amir

Algorithmic verification of linear temporal logic specifications von Kesten, Yonit, Pnueli, Amir, Raviv, Li-on

Bridging the Gap between Fair Simulation and Trace Inclusion von Kesten, Yonit, Piterman, Nir, Pnueli, Amir

Complete Proof System for QPTL von Kesten, Yonit, Pnueli, Amir

Model Checking with Strong Fairness von Kesten, Yonit, Pnueli, Amir, Raviv, Li-On, Shahar, Elad

Temporal verification of simulation and refinement von Kesten, Yonit, Manna, Zohar, Pnueli, Amir

Modularization and abstraction: The keys to practical formal verification von Kesten, Yonit, Pnueli, Amir

A Deductive Proof System for CTL von Pnueli, Amir, Kesten, Yonit

Verifying clocked transition systems von Kesten, Yonit, Manna, Zohar, Pnueli, Amir

Verification by Augmented Abstraction: The Automata–Theoretic View von Kesten, Yonit, Pnueli, Amir, Vardi, Moshe Y.

Verification of clocked and hybrid systems von Kestent, Yonit, Manna, Zohar, Pnueli, Amir

Automatic Verification of Probabilistic Free Choice von Zuck, Lenore, Pnueli, Amir, Kesten, Yonit

Verifying liveness by augmented abstraction von KESTEN, Y, PNUELI, A. A

Verification of clocked and hybrid systems von KESTEN, Y, MANNA, Z, PNUELL, A

Network Invariants in Action von Kesten, Yonit, Pnueli, Amir, Shahar, Elad, Zuck, Lenore

A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software von Kesten, Yonit, Klein, Amit, Pnueli, Amir, Raanan, Gil

A complete proof systems for QPTL von Kesten, Y., Pnueli, A.

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle