Digital Systems Embedded Computing

Research Frontiers in Formal Verification Embedded Safety Critical Systems

Applies model checking and theorem proving techniques to mathematically verify correctness of life-critical embedded system specifications.

All Digital Systems & Embedded Computing PhD categories