ETAPS 2019 (series) / Pavel Andrianov
Not registered as user
Name:Pavel Andrianov
Contributions
2019
ETAPS
- CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
- Ultimate Automizer
- CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
- PeSCo: Predicting Sequential Combinations of Verifiers
- CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
ETAPS 2019-profile
View general profile
View general profile