|
|
|
|
|
|
|
 Sweden
|
|
|
Mysql, Replication, Lars Thalmann, Parosh Aziz Abdulla, Doron Peled, April, Bengt Jonsson...
|
|
|
|
|
|
|
|
|
 Italy
|
|
|
Rajeev Alur, Papers, Degli Studi Di Salerno, University Of Pennsylvania, Mimmo Parente...
|
|
|
|
|
|
|
|
 Massachusetts, United States
|
|
|
Ibm, Dana Fisman, Haifa, Ilan Beer, Elisha Porat, Formal, Model Checking, Sugar...
|
|
|
|
|
|
|
|
|
|
University, Romania, Doron Peled, Timisoara, Carnegie Mellon University, Clarke...
|
|
|
|
|
|
|
|
|
|
New York, United States
|
|
|
Bell Labs, Cadence, Usa, University, Cav, Model Checking, Ken Mcmillan, Verification...
|
|
|
|
|
|
|
|
|
California, United States
|
|
|
Tsun, Intel, University, Verification, Formal, Usa, Ganesh Gopalakrishnan, Papers...
|
|
|
|
|
|
|
|
|
|
Software, Model Checker Spin, Glan, Veit, Henry Dunant, Bmw Financial Services, Verification...
|
|
|
|
|
|
|
|
|
|
California, United States
|
|
|
Shmuel Katz, Gila Kamhi, Ranan Fraer, Sela Mador Haim, Technion, Vardi, Dblp, Model Checking...
|
|
|
|
|
|
|
|
|
|
Avi Mendelson, Ronny Ronen, Naftali Schwartz, Yoav Almog, Intel, Micha Moffie, Intel Labs...
|
|
|
|
|
|
|
|
|
|
Doron Peled, Gerard Holzmann, Blind & Dyslexic, Shukla, Weedman, Kurshan, Miami...
|
|
|
|
|
|
|
|
|
|
Sof Ha Olam Smola, Lighting Assistant, Doron Peled, Aviv, Actor...
|
|
|
|
|
|
|
|
|
|
Grip, Charlet Recors, France, Simon Sez, Robin, Unknown Episodes, Nathalie Robert...
|
|
|
|
|
|
|
