Journal of Automated Reasoning

A conference, workshop or journal: the thing that recurs, across all its years.

Springer's journal on automated reasoning: theorem provers, proof assistants, decision procedures and the systems built from them. The journal counterpart to CADE and IJCAR.

https://link.springer.com/journal/10817

3 references

Verifying OpenJDK's Sort Method for Generic Collections

Stijn de Gouw et al. (2019) · Journal of Automated Reasoning

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

Thomas Ströder et al. (2017) · Journal of Automated Reasoning

Proof Pearl: The KeY to Correct and Stable Sorting

Stijn de Gouw et al. (2014) · Journal of Automated Reasoning