Pages that link to "Orna Grumberg"
Showing 20 items.
- Model checking (links | edit)
- Hadera (links | edit)
- Linear temporal logic (links | edit)
- Kripke structure (model checking) (links | edit)
- Partial order reduction (links | edit)
- Binary decision (links | edit)
- Orna (links | edit)
- Summer School Marktoberdorf (links | edit)
- List of fellows of the Association for Computing Machinery (links | edit)
- Orna Kupferman (links | edit)
- Linear time property (links | edit)
- Doron A. Peled (links | edit)
- Counterexample-guided abstraction refinement (links | edit)
- Talk:Orna Grumberg (transclusion) (links | edit)
- User:Edgars2007/Sandbox (links | edit)
- User:Stinglehammer/STEM/Science (links | edit)
- User talk:Deepfriedokra/archived 20131214 (links | edit)
- User talk:Blue bird eng (links | edit)
- User talk:Callitropsis/Archive 2 (links | edit)
- Wikipedia:WikiProject Science/Members of the Academia Europaea list (links | edit)