|
|
|
|
|
|
by amelius
2401 days ago
|
|
|
Also learn to use formal specification tools like TLA+. Space companies will probably not use software without correctness guarantees. Especially if your software was verified by only a small number of people, it is likely to have bugs. |
|
|