|
|
|
|
|
|
by markusde
528 days ago
|
|
|
I'd recommend anyone with a passing interest in the role formal techniques can play in software development watch this [1] talk. Mike Dodds is a principal scientist at Galois (a company which has a lot of experience with applying formal methods in industry and government) and the talk does a good job at explaining where they've seen value-added from formal methods, and the right kind of formal methods for different applications. [1]: https://www.youtube.com/watch?v=gfvvowAc130 |
|
|