|
|
|
|
|
|
by pascal_cuoq
4064 days ago
|
|
|
If you have references showing that formal methods are used for missiles and satellites, I would love to see them. [I work on formal methods tools and I am currently working on a usecase from the space industry, but that one is not documented yet.] |
|
|
1. Papers/case studies the master's of software engineering directory at my university provided while I was in grad. I can try to dig up some of these later if you are interested.
2. Friends who either worked on satellites or airpcraft