Suchergebnisse - Grumberg, O.

1

Construction of abstract state graphs with PVS von Graf, Susanne, Saidi, Hassen

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

State space reduction using partial order techniques von Clarke, E.M., Grumberg, O., Minea, M., Peled, D.

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

Counterexample-guided abstraction refinement for symbolic model checking von Clarke, Edmund, Grumberg, Orna, Jha, Somesh, Lu, Yuan, Veith, Helmut

Veröffentlicht in Journal of the ACM

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Learning to Order BDD Variables in Verification von Grumberg, O., Livne, S., Markovitch, S.

Veröffentlicht in The Journal of artificial intelligence research

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

HyTech: A model checker for hybrid systems von Henzinger, Thomas A., Ho, Pei-Hsin, Wong-Toi, Howard

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Symbolic model checking with rich assertional languages von KESTEN, Y, MALER, O, MARCUS, M, PNUELI, A, SHAHAR, E

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Kodkod: A Relational Model Finder von Torlak, Emina, Jackson, Daniel

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

The Beginning of Model Checking: A Personal Perspective von Emerson, E. Allen

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Parallelizing the Murϕ verifier von Stern, Ulrich, Dill, David L.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Characterizing finite Kripke structures in propositional temporal logic von Browne, M.C., Clarke, E.M., Grümberg, O.

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

The Birth of Model Checking von Clarke, Edmund M.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

JPF–SE: A Symbolic Execution Extension to Java PathFinder von Anand, Saswat, Păsăreanu, Corina S., Visser, Willem

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

The Heterogeneous Tool Set, HETS von Mossakowski, Till, Maeder, Christian, Lüttich, Klaus

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Weak bisimulation for fully probabilistic processes von Baier, Christel, Hermanns, Holger

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Bounded Model Checking of Concurrent Programs von Rabinovitz, Ishai, Grumberg, Orna

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Verifying parameterized networks von Clarke, E. M., Grumberg, O., Jha, S.

Veröffentlicht in ACM transactions on programming languages and systems

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Efficient model checking using tabled resolution von Ramakrishna, Y. S., Ramakrishnan, C. R., Ramakrishnan, I. V., Smolka, Scott A., Swift, Terrance, Warren, David S.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification von Huth, M, Grumberg, O

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Efficient generation of counterexamples and witnesses in symbolic model checking von Clarke, E. M., Grumberg, O., McMillan, K. L., Zhao, X.

Volltext

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Some progress in the symbolic verification of timed automata von Bozga, Marius, Maler, Oded, Pnueli, Amir, Yovine, Sergio

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[13]

Construction of abstract state graphs with PVS von Graf, Susanne, Saidi, Hassen

State space reduction using partial order techniques von Clarke, E.M., Grumberg, O., Minea, M., Peled, D.

Counterexample-guided abstraction refinement for symbolic model checking von Clarke, Edmund, Grumberg, Orna, Jha, Somesh, Lu, Yuan, Veith, Helmut

Learning to Order BDD Variables in Verification von Grumberg, O., Livne, S., Markovitch, S.

HyTech: A model checker for hybrid systems von Henzinger, Thomas A., Ho, Pei-Hsin, Wong-Toi, Howard

Symbolic model checking with rich assertional languages von KESTEN, Y, MALER, O, MARCUS, M, PNUELI, A, SHAHAR, E

Kodkod: A Relational Model Finder von Torlak, Emina, Jackson, Daniel

The Beginning of Model Checking: A Personal Perspective von Emerson, E. Allen

Parallelizing the Murϕ verifier von Stern, Ulrich, Dill, David L.

Characterizing finite Kripke structures in propositional temporal logic von Browne, M.C., Clarke, E.M., Grümberg, O.

The Birth of Model Checking von Clarke, Edmund M.

JPF–SE: A Symbolic Execution Extension to Java PathFinder von Anand, Saswat, Păsăreanu, Corina S., Visser, Willem

The Heterogeneous Tool Set, HETS von Mossakowski, Till, Maeder, Christian, Lüttich, Klaus

Weak bisimulation for fully probabilistic processes von Baier, Christel, Hermanns, Holger

Bounded Model Checking of Concurrent Programs von Rabinovitz, Ishai, Grumberg, Orna

Verifying parameterized networks von Clarke, E. M., Grumberg, O., Jha, S.

Efficient model checking using tabled resolution von Ramakrishna, Y. S., Ramakrishnan, C. R., Ramakrishnan, I. V., Smolka, Scott A., Swift, Terrance, Warren, David S.

Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification von Huth, M, Grumberg, O

Efficient generation of counterexamples and witnesses in symbolic model checking von Clarke, E. M., Grumberg, O., McMillan, K. L., Zhao, X.

Some progress in the symbolic verification of timed automata von Bozga, Marius, Maler, Oded, Pnueli, Amir, Yovine, Sergio

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle