To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

From Wikipedia, the free encyclopedia

Grumberg in 2006
Grumberg in 2006

Orna Grumberg (Hebrew: ארנה גרימברג‎; born May 14, 1952) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.[1]

Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs.[2] With Edmund M. Clarke and Doron A. Peled, she is the author of the book Model Checking (MIT Press, 1999).[3]

In 2013 Prof. Grumberg was elected to the Academia Europaea.[4] In 2015 she was named a Fellow of the Association for Computing Machinery "for contributions to research in automated formal verification of hardware and software systems."[5]

YouTube Encyclopedic

  • 1/2
    Views:
    333
    948
  • ✪ Algorithmic Logic-Based Verification with SeaHorn - Arie Gurfinkel
  • ✪ Think Next 2016- Jasmin Fisher, Senior Researcher, Microsoft Research

Transcription

References

  1. ^ Faculty profile, Technion, retrieved 2013-12-07.
  2. ^ Microsoft Research profile Archived 2014-10-21 at the Wayback Machine
  3. ^ Review of Model Checking by Vladimir Zakharov (2001), Journal of Logic and Computation 11 (6): 962–964, doi:10.1093/logcom/11.6.962
  4. ^ Ziri, Danielle (October 3, 2013), "Seven Israeli Professors elected to Academia Europaea", Jerusalem Post.
  5. ^ ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age, Association for Computing Machinery, 2015, archived from the original on 2015-12-09, retrieved 2015-12-09.
This page was last edited on 23 September 2019, at 11:26
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.