Verifying OpenJDK's LinkedList using KeY. | 0 | 0.34 | 2020 |
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings. | 0 | 0.34 | 2020 |
Inseguendo Fagiani Selvatici - Partial Order Reduction for Guarded Command Languages. | 0 | 0.34 | 2020 |
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. | 0 | 0.34 | 2019 |
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. | 0 | 0.34 | 2018 |