If you are interested in Software Safety, it is worth your time to check out the Federal Aviation Administration Certification Authorities Software Team (CAST) Position Papers.
Posts
Looking for Missed Alarm Bugs in a Formal Verification Tool
-
[This piece is co-authored with Vsevolod Livinskii.] Formal verification
isn’t some sort of magic pixie dust that we sprinkle over a computer system
to mak...
8 months ago
No comments:
Post a Comment