2011年06月24日
形式手法に関する国際会議FM2011開催
2011年05月17日
日刊工業新聞社説、本ポータルサイト紹介
2011年05月10日
SRI の John Rushby氏が IEEEミルズ賞を受賞
2011年04月28日
Ansaldo STSはProver Certifierをスウェーデンに供給するERTMSレベル2システムの安全性検証のために採用
2011年04月04日
日本情報産業新聞で本ポータルサイトを紹介
2011年04月01日
本ポータルサイト、正式オープン
2011年03月29日
ケイデンスの検証プラットフォーム、Broadcomで採用拡大
MediaTek、Mentor社のCalibre PERCを採用
FMEが年次総会を開催、会議資料を公開
産総研、形式手法の応用ワークショップを4月に開催
富士通、要件定義手法をTri-shapingで体系化
2011年02月14日
SpaceSystem Finland、衛星向けの評価システムを開発
Atelier B 4.0.2リリース
SAFECOMP 2011開催案内
2011年02月09日
2月14日 (月) 形式手法セミナー開催
3月10日 (木) 新世代情報セキュリティ研究開発シンポジウム開催
2010年12月08日
VSTTE 2010 開催
Battelle、ニューヨーク市の地下鉄自動化プロジェクトでClearSyと提携
米国国立がん研究所、Southwest Oncology Group への助成金を更新
NextOp Software、アサーションベース検証の主力製品を発表
このページの先頭へ戻る