|
Top: Computers: Computer_Science: People: G:
Grumberg, Orna
 Link Details for: Grumberg, Orna
| Link Title: |
Grumberg, Orna  |
|
| Link URL: |
http://www.cs.technion.ac.il/users/orna/ |
| Link Details: |
The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking. |
| Category: |
Top : Computers : Computer_Science : People : G |
| Link Type: |
     |
| ScreenShot: |
|
|
|
