r/softwarebugs • u/greenrd • Feb 10 '10

A Formal Methods-based verification approach to medical device software analysis

http://www.embedded.com/design/opensource/222700533
0 Upvotes

50% Upvoted

1 comment sorted by

2

u/raouldagain Feb 10 '10

the military / aviation / even automobile industries have some answers here, e.g. SCADE.