3 ms·
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 curr
by pascal_cuoq 11y 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.]
- voidlogic 11y agoI have heard about this from two sources: 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