NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Formal Methods

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Model Checking Concurrent Systems

Development of automated verification techniques for detecting deadlocks, race conditions, and temporal property violations in multi-threaded and distributed software systems.

Probabilistic State Space Reduction in Distributed Verification

Compositional Abstraction for Unbounded Concurrent Architectures

Temporal Logic Beyond Linear and Branching Time

Scalable Symmetry Breaking in Parameterized System Analysis

Runtime Monitoring of Emergent Behavior in Asynchronous Networks

Automated Invariant Synthesis for Weakly Consistent Memory Models

Counterexample-Guided Refinement in Infinite-State Concurrency

Epistemic Reasoning in Knowledge-Based Model Checking

Hybrid Discrete-Continuous Dynamics in Autonomous System Verification

Byzantine Fault Tolerance Verification Under Partial Information

All Formal Methods PhD categories