ベストのトレーニング

私たちは、フォーマル手法の実践的な使いかたを深く理解することが成功の秘訣であると信じています。Axiomiseでは、実際に何がうまく機能し、何がそうでないかを理解するために、業界でフォーマル検証のプロジェクトに何年も取り組んできました。この実践的な経験値は、私たちのトレーニングプログラムに反映され、真にユニークなものとなっています。私たちは定期的に、業界のプロジェクトの検証作業に携わっています。このことは、私たちのノウハウが常に最新のものであることを意味し、現場で収集した見識をトレーニングルームに持ち込むことができるのです。

コースには2種類あります。オンデマンドコースとインストラクターによるコースです。

詳しくは ONLINE PORTAL をご覧覧ください。