עבודות Formal verification

[AnarchistPhilosopher]

עבודות Formal verification

באילו עוד חברות מלבד מלנוקס יש עבודות מסוג הformal verification בארץ?

הבנתי שוריפיקציה יש בעוד חברות רק שאימות פורמאלי זה לא כ"כ נפוץ. האם אני טועה?

 

[vinney]

אימות פורמלי זה ממש ממש לא נפוץ

אני מתאר לעצמי שיש באינטל (חייב להיות), אבל לא בטוח אם עושים את זה בארץ. אני יודע שיש אנשים במעבדות IBM בחיפה שמתעסקים בזה (או לפחות היו, לפני עשור), כי נגעתי בתחום הזה במחקר שלי בזמנו.

 

[bismark1]

קיים באינטל בארץ

 

[Grosseto]

תפסיק כבר עם הפנטזיות

זה מביך...

 

[vinney]

שוב יצאת מחסימה?..

 

[aniratz]

כמו שאמרו

אינטל, IBM וגם כנראה Apple, Cadence, Marvell