|
|
|
|
|
|
by xiaq
1871 days ago
|
|
|
> where formal methods is actually used? Formal methods are useful where the cost of bugs greatly exceed the cost of formal verification. Most software systems do not fall into this category, but some do: space launches, transport safety systems, medical equipments and particle colliders are good examples. The LHC has several of its subsystems formally verified, for example. |
|
|