Latest News and Press Releases

뉴욕, May 14, 2025 (GLOBE NEWSWIRE) -- 최근, 글로벌 최대 Web3 보안 기업 서틱(CertiK)이 이더리움 재단이 발표한 2025년 1분기 연구 지원금 명단에 이름을 올리며 두 건의 연구 지원금을 획득했다. 이는 zkEVM(영지식 이더리움 가상 머신) 정형검증 분야에서의 성과로, 이더리움 확장성 전략의 중요한 이정표이자...

纽约, May 14, 2025 (GLOBE NEWSWIRE) -- 近日，以太坊基金会公布了 2025 年第一季度研究资助名单，全球最大的 Web3 安全公司 CertiK 荣获两项研究资助，源于 zkEVM 形式化验证竞赛。这不仅是以太坊扩展性战略的里程碑式事件，也进一步彰显了 CertiK 在零知识证明（ZKP）系统形式化验证领域的全球技术领导力。 CertiK...

CertiK—the world’s largest Web3 security firm—was awarded two research grants stemming from the zkEVM formal verification competition.

Ongoing Booth Demos of Axiomise’s formalISA bug hunter and footprint for end-to-end architectural verificationLightning Talk, Presentation on Benefits of Formal Verification for RISC-V Verification...

Efficient, fast analysis of SoC and IP transforming PPA optimizationExhaustive analysis generating precise component-level metricsDesigners, architects and verification engineers can perform quick...

Self-Paced, On-Demand Training Program Includes Hands-On Best Practices for Practical Formal VerificationCertification Upon Completion. LONDON, Sept. 12, 2024 (GLOBE NEWSWIRE) -- Axiomise, the...

Axiomise will demonstrate formalISA and showcase its production-grade verification methodology for 32-bit and 64-bit RISC-V Summit Europe.

Axiomise forms Technical Advisory Board and names first two members, Dr. Vidya Chandran Darbari and Colin McKellar.

LONDON, Jan. 26, 2023 (GLOBE NEWSWIRE) -- Axiomise, the leading provider of cutting-edge formal verification solutions, marked its fifth anniversary in 2022 with an impressive list of highlights,...