|
|
|
|
|
|
by cholantesh
1276 days ago
|
|
|
Thanks for the insight. My Software Quality prof gifted me a copy of one of Gelman's texts but I haven't had time to take it in; I should change that... It's weird to me that formal verification isn't more widely used; I would think it would be common at least in safety critical systems development. |
|
|