VAIPOSA will develop a comprehensive, versatile and efficient toolkit tailored for the verification of AI-based Positioning, Navigation and Timing (PNT) systems, capable to address a wide spectrum of AI-based PNT applications.