Center for R&D on Secure Computer Systems

Center for R&D on Secure Computer Systems

2025年11月4日
形式的検証技術に立脚し高信頼・高安全コンピュータシステムの実現