תגית: אימות פורמלי

כמדען המחשבים הישראלי מאוניברסיטת רייס מתאר כיצד שיטות אימות שהתפתחו לכלי עבודה בתעשיית השבבים מקבלות חשיבות מחודשת בעידן הקוד האוטומטי, ...