Co-located Events

18th International Conference on Tests and Proofs (TAP)

The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

TAP 2024 will be held in conjunction with FM 2024, from September 9th to September 10th, 2024

More information to come