conf.researchr.org / Pavel Andrianov
Not registered as user
Name:Pavel Andrianov
Contributions
2019
ETAPS
- Author of CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software within the Posters-track
- Author of Ultimate Automizer within the Posters-track
- Author of CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software within the Posters-track
- Author of PeSCo: Predicting Sequential Combinations of Verifiers within the Posters-track
- Author of CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software within the Posters-track