 Anton Myagotin - Temporal Logic- Igor Glinyanitsa - Model Checking Algorithms
- Sergey Tverdyshev - Symbolic Model Checking
- Ewgenij Filonenko - Compositional Verification
- Elena Petrova - Symmetry in Model Checking
- Ramesh Kumar - Model Checking and Abstraction
|
