FMGROUP - FORMAL METHODS

 


The Formal Methods group is active in several research fields related to the application of formal methods and symbolic techniques. Although some of the formal techniques developed are general and can find broad application, most of the research efforts have been devoted to Hardware  Formal Verification, High-level Synthesis and Embedded System Design.