The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
113 views

How to set up automated build/test for embedded project

We have a number of embedded projects, and are trying to improve our process. This includes automating our unit and system tests with jenkins. I have gotten some of our existing environments ...
0
votes
0answers
34 views

Licensing restrictions of formal methods (code proof) tools and contractors

This is NOT Intended to be a product/service recommendation question - I am trying really hard to word this so it isn't one. Does anyone here perform static analysis on your code using abstract ...