@divVerent my opinion is that they should just use Ada+SPARK.
good to know that MISRA causes its own problems though. thanks for sharing!
@divVerent my opinion is that they should just use Ada+SPARK.
good to know that MISRA causes its own problems though. thanks for sharing!
Chirp! is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All Chirp! content and data are available under the Creative Commons Attribution 3.0 license.