NKLAVE

Live / Registered — Registered (as of 19 Aug 2025)

What this means for you

Registered since 19 Aug 2025. The owner can stop confusingly similar uses in the classes it covers.

Record

Serial number
98818897
Registration number
7899574
Mark type
Stylized text
Filed
24 Oct 2024
Published for opposition
01 Jul 2025
Registered
19 Aug 2025
Attorney of record
Zachary M. Thomas

Goods and services

  • Class 009 — Scientific and electric apparatus: Downloadable computer software for formal verification of software; Downloadable computer software for formal verification of an operating system; Downloadable computer software for formal verification of operating system software; Downloadable computer software for providing development tools to provide formally verified security; Downloadable computer software for providing software development kits (SDK) for providing formally verified security; Downloadable computer software for formal verification of hardware; Downloadable computer software for designing formally verified hardware; Downloadable computer software for encryption providing formally verified guarantees
  • Class 042 — Scientific and technological services: Computer security consultancy in the field of formally verified hardware and software; Design and development of computer software for formally verified computer hardware and software; Design and development of computer software for formal verification of hardware and software security; Design and development of computer software for formal verification of secure network operations; Design and development of computer software for formal verification of operating system software; Design and development of computer software for providing formal verification; Installation and maintenance of formally verified software; Installation and maintenance of formally verified computer software; Installation and maintenance of formally verified hardware design software; Installation of formally verified software; Installation of formally verified computer software; Installation of formally verified hardware design software; Installation, maintenance and repair of formally verified software; Installation, maintenance and repair of formally verified computer software; Installation, maintenance and repair of formally verified hardware design software

Owner

Prosecution history

  • 19 Aug 2025 — NOTICE OF REGISTRATION CONFIRMATION EMAILED
  • 19 Aug 2025 — REGISTERED-PRINCIPAL REGISTER
  • 01 Jul 2025 — OFFICIAL GAZETTE PUBLICATION CONFIRMATION E-MAILED
  • 01 Jul 2025 — PUBLISHED FOR OPPOSITION
  • 25 Jun 2025 — NOTIFICATION OF NOTICE OF PUBLICATION E-MAILED
  • 27 May 2025 — APPROVED FOR PUB - PRINCIPAL REGISTER
  • 27 May 2025 — EXAMINER'S AMENDMENT ENTERED
  • 27 May 2025 — NOTIFICATION OF EXAMINERS AMENDMENT E-MAILED
  • 27 May 2025 — EXAMINERS AMENDMENT E-MAILED
  • 27 May 2025 — EXAMINERS AMENDMENT -WRITTEN
  • 27 May 2025 — PREVIOUS ALLOWANCE COUNT WITHDRAWN
  • 23 May 2025 — APPROVED FOR PUB - PRINCIPAL REGISTER
  • 23 May 2025 — EXAMINER'S AMENDMENT ENTERED
  • 23 May 2025 — NOTIFICATION OF EXAMINERS AMENDMENT E-MAILED
  • 23 May 2025 — EXAMINERS AMENDMENT E-MAILED

View this trademark record on Marksy