Formal Methods

Doron Peled (temporal logic, concurrency)

Google Scholar user=XF61SSwAAAAJ

---

Ofer Strichman (translation, model checking, formal methods)

Google Scholar user=h0R3z64AAAAJ

---

Leonardo de Moura (theorem proof systems)

Google Scholar user=CwazDKgAAAAJ

---

Shimon Even (graphs, geometry, networks)

Scopus authorId=7005714396

---

Last update: 2022-11-29
Created: 2022-11-29