ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field
▾
Category
▾

Formal Methods

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Theorem Proving for Hardware Verification

Interactive and automated proof methods for establishing correctness of digital circuit designs and microarchitectural implementations.

Automated Invariant Discovery in Hardware State Spaces
Compositional Verification of Asynchronous Hardware Designs
Machine Learning-Guided Theorem Proving for Circuits
Formal Methods for Analog-Digital Hardware Interfaces
Scalable Symbolic Execution of Real-Time Systems
Proof Synthesis from Temporal Logic Specifications
Certification of Hardware Security Primitives
Formal Verification of Approximate Computing Architectures
Interactive Theorem Proving for Complex Microarchitectures
Decidability Frontiers in Infinite-State Hardware Models

All Formal Methods PhD categories