Evgenii Moiseenko. Enhancing Model Checking In Lincheck With Partial Order Reduction

2025 59:42
Synopsis
Lincheck is a declarative framework for testing concurrent algorithms on the JVM. One of the components of this framework is the ...

You Might Also Like

Tutorial 1 - Replica-Exchange Wang-Landau Sampling (Lecture 2) - Ying-Wai Li 55:44
Tutorial 1 - Replica-exchange Wang-landau Sampling (lecture ...
2018
Stock Span Problem | Monotonic Stack Explained | GFG POTD 21 Jan 2026 1:09
Stock Span Problem | Monotonic Stack Explained | Gfg Potd 21...
2026
Nikita Koval "Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM" 1:15:32
Nikita Koval "lincheck: A Practical Framework For Testing Co...
2025
Program equivalence checker: 3min demo 3:13
Program Equivalence Checker: 3min Demo
2026
A Tour of Model Checking Techniques (Rob Zinkov) 46:12
A Tour Of Model Checking Techniques (rob Zinkov)
2021
Random Intercept Model for Longitudinal Data 9:42
Random Intercept Model For Longitudinal Data
2024
Evaluating model fit through AIC, DIC, WAIC and LOO-CV 11:20
Evaluating Model Fit Through Aic, Dic, Waic And Loo-cv
2019
Decrusting the quickcheck crate 1:31:34
Decrusting The Quickcheck Crate
2025
BDA 2019 Lecture 8.1 model checking 47:24
Bda 2019 Lecture 8.1 Model Checking
2021
Mod-05 Lec-02 Model Checking Algorithms I 55:36
Mod-05 Lec-02 Model Checking Algorithms I
2014
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.