INTERNATIONAL PATENT: SIEMENS ELECTRONIC DESIGN AUTOMATION GMBH FILES APPLICATION FOR "VERIFICATION TECHNIQUES USING LLM-BASED PROPERTY GENERATION"

GENEVA, April 27 -- SIEMENS ELECTRONIC DESIGN AUTOMATION GMBH (ArnulfstraBe 20180634 Munchen) filed a patent application (PCT/EP2025/079468) for "VERIFICATION TECHNIQUES USING LLM-BASED PROPERTY GENERATION" on Oct 13, 2025. With publication no. WO/2026/082651, the details related to the patent application was published on Apr 23, 2026.

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): COLLAZOS DURAN, Bryan Smith (Nymphenburger Str. 20a80335 Munchen), JANTSCH, Simon (Nymphenburger Str. 20a80335 Munchen), GROSSE, Joerg (Nymphenburger Str. 20a80335 Munchen), BRINKMANN, Raik (Leopoldstr. 16480804 Munche...