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 Static Analysis via Abstract Interpretation

Computable approximations of program semantics for sound and scalable detection of runtime errors without program execution.

Relational Abstraction in Program Equivalence Verification
Compositional Analysis of Concurrent System Invariants
Abstract Interpretation of Probabilistic Program Semantics
Refinement-Driven Abstraction for Floating-Point Arithmetic
Machine Learning Guided Lattice Construction for Analysis
Temporal Property Discovery Through Abstract Domains
Symbolic Heap Abstraction in Memory Safety Analysis
Certified Soundness in Scalable Static Analyzers
Polyhedral Abstractions for Nonlinear Loop Analysis
Context-Sensitive Abstraction Refinement via Craig Interpolation

All Formal Methods PhD categories