Mark Identification
CONCEPT MODULARITY
Serial Number
99515107
Filing Date
Nov 25, 2025
Trademark by
Classification Information
Computer programming services, namely, Synthesis of high assurance industrial-strength software from formal models using either or both of human and artificial intelligence.
Computer and Scientific