ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Software Testing Verification

Software Testing Verification

Field
▾
Category
▾

Software Testing Verification

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Formal Verification of Concurrent Systems

Formal methods and model checking approaches for verifying correctness properties of multi-threaded and distributed systems.

Temporal Logic Abstraction in Distributed Memory Systems
Deadlock Detection Through Symbolic State Exploration
Weak Memory Models and Linearizability Verification
Model Checking Under Partial Order Reduction
Asynchronous Message Passing Protocol Certification
Invariant Synthesis for Concurrent Data Structures
Race Condition Detection in Software-Hardware Co-design
Bounded Model Checking for Lock-Free Algorithms
Compositionality and Assume-Guarantee Reasoning
Liveness Properties in Eventually Consistent Systems

All Software Testing & Verification PhD categories