DEV Community

Anoncheg
Anoncheg

Posted on

[2023-06-30 Fri] I was reading about Astra #Linux security model πŸ‡·πŸ‡Ί, it

[2023-06-30 Fri] I was reading about Astra #Linux security model πŸ‡·πŸ‡Ί, it uses Kernel Self Protection Project.
I was reading about B-Method and Robin Eclipse IDE it is formal method of software development.
And I refreshed my memory about Mathematical logic (B-Method used first-order logic and set theory). πŸ“š

Top comments (0)