Andy S. Tatman

According to our database, Andy S. Tatman authored at least 3 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

A Fault-Tolerant Version of Safra's Termination Detection Algorithm.

Wan J. Fokkink, Georgios Karlos, Andy S. Tatman

CoRR, February, 2026

2025

Analysis and formal specification of OpenJDK's BitSet: Proof files.

Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw

Sci. Comput. Program., 2025

2023

Analysis and Formal Specification of OpenJDK's BitSet.

Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw

Proceedings of the iFM 2023 - 18th International Conference, 2023