Logic

Research Frontiers in Specification Logic and Requirements Formalization

Investigates logical frameworks specifically designed for formalizing and analyzing system requirements in hardware and software engineering.

All Logic PhD categories