こんにちは。株式会社フォーマルテックの早水です。
急に暖かくなってきて、いよいよ春本番ですね。今日は4月最初の平日で、官公庁や企業では新しい年度の始まりだと思います。
この一ヶ月ほど、新しい国産モデル検査ツールの開発で忙しく、記事を更新できませんでした。
開発中のモデル検査ツールは、これまでの事例適用で得たノウハウや、BDD(Binary Decision Diagram)の効率的な演算理論などを実装して、世界最速を目指しております。
現在、試作版まで完成しており、リリースにはもう少し時間がかかるのですが、早くお披露目できるよう頑張りたいと思います。
みなさま、今年度もどうぞよろしくお願いいたします。