Reliable Design of Safety Critical Systems Dr. Abhik Roychoudhury School of Computing E-mail : [email protected].
Formal verification in Embedded System design