formally verified software system
C65148
concept
A formally verified software system is one whose correctness with respect to a precise mathematical specification has been rigorously proven using formal methods and automated or semi-automated theorem proving tools.
Instances (1)
| Instance | Via concept surface |
|---|---|
| seL4 microkernel | — |