INTERNATIONAL PATENT: BUNDESDRUCKEREI GMBH FILES APPLICATION FOR "PROOF OF A COMPUTER PROGRAM'S FUNCTIONALITY USING A QUANTUM COMPUTER AND A PROOF ASSISTANT"

GENEVA, Dec. 15 -- BUNDESDRUCKEREI GMBH (KommandantenstraBe 1810969 Berlin) filed a patent application (PCT/EP2025/062613) for "PROOF OF A COMPUTER PROGRAM'S FUNCTIONALITY USING A QUANTUM COMPUTER AND A PROOF ASSISTANT" on May 08, 2025. With publication no. WO/2025/252383, the details related to the patent application was published on Dec 11, 2025.

Notably, the patent application was submitted under the International Patent Classification (IPC) system, which is managed by the World Intellectual Property Organization (WIPO).

Inventor(s): SIMON, Lars (Kommandantenstr. 7510117 Berlin), EBLE, Holger (Katzbachstr. 1810965 Berlin), RADONS, Manuel (Mittelstr. 4215712 Konigs Wusterhausen)

Abstract: The present subject matter relates to a method ...