Abstract: An alternative to the transfer molding of area array packages is the stencil printing of the encapsulant followed by a variable frequency microwave (VFM) cure process. A block of epoxy ...

Abstract: This paper presents an application of counter example guided abstraction refinement to model checking of IEC 60848 GRAFCET for industrial control systems. We employ an abstraction technique ...