ACSL By Example Towards a Verified C Standard Library

Source URL: www.fokus.fraunhofer.de

• Software engineering
• Formal methods
• Abstract data types
• Generic programming
• Algorithm
• Mathematical logic
• Predicate transformer semantics
• Frama-C
• Stack
• Mathematics
• Computing
• C++ Standard Library