Guarantees and safety About the project Guarantees and safety Overview of TrustLang features responsible for code safety and quality Tags: Trust-Lang Safety Verification Memory
Getting rid of Segmentation fault errors due to stack overflow in C++ Articles Software safety Getting rid of Segmentation fault errors due to stack overflow in C++ Tags: Memory-Safety C++ Verification Runtime
Programming language guarantees as a basis for secure software development Articles Software safety Programming language guarantees as a basis for secure software development Tags: Security Programming-Languages Development Verification