【ツール #4】RACS2とBRASHの比較
はじめに こんにちは。 まずはじめに、RACS2を知らない方は、先に以下の記事で RACS2 について簡単に学んだあとに読むことを推奨します。 RACS2 は、ROS2のトピックとcFSのメッセ...
2
0
Comment0
3 search resultsShowing 1~3 results
Stocked
You need to log-in
【コア #4】NASAが作った静的解析ツール「IKOS」基本編
はじめに こんにちは。 本記事は、2024年12月のアドベントカレンダー「Space ROS」に投稿された一連の記事の１つです。 今回は、NASAが作った C/C++ の静的解析ツール IKOS...
4
2
Comment0
【コア #5】NASAが作った静的解析ツール「IKOS」実践編
はじめに こんにちは。 本記事は、2024年12月のアドベントカレンダー「Space ROS」に投稿された一連の記事の１つです。 今回は、NASAが作った C/C++ の静的解析ツール IKOS...
2
1
Comment0
3 search resultsShowing 1~3 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles