Tag Archives: Formal Analysis

SAME 2010 Forum and SAFA Workshop Issue Call for Papers

The SAME 2010 Forum and the SAFA workshop have issued separate calls for papers. The SAME 2010 Forum provides a venue for discussions and technical knowledge sharing with the opportunity to meet industrials, high-tech companies displaying and demonstrating microelectronic related products. The SAFA’2010 Workshop focuses on techniques around formal analysis.

Continue reading