18282 подписчиков
49 видео
Release 24.10 of Astrée and RuleChecker
Release 24.10 of AbsInt tools for static analysis
Release 24.04 of Astrée and RuleChecker for C and C++
AbsInt Videocast for Release 23.10: aiT, StackAnalyzer, TimingProfiler, TimeWeaver, ValueAnalyzer
AbsInt Videocast for Release 23.10: Astrée and RuleChecker
AbsInt Videocast for Release 23.04: aiT, StackAnalyzer, TimingProfiler, TimeWeaver, ValueAnalyzer
AbsInt Videocast for Release 22.10: aiT, StackAnalyzer, TimingProfiler, TimeWeaver, ValueAnalyzer
AbsInt Videocast for Release 22.04: aiT, StackAnalyzer, TimingProfiler, TimeWeaver, ValueAnalyzer
AbsInt Videocast for Release 21.10: Astrée and RuleChecker
AbsInt Videocast for Release 21.10: aiT, StackAnalyzer, TimingProfiler, TimeWeaver, ValueAnalyzer
EnergyAnalyzer — Static Energy Analysis for Embedded Applications
Can you trust your compiler? — With CompCert, you can!
Tutorial AbsInt License Manager (ALM) and a³ Installation - Floating and Department License
AbsInt a³ Jenkins Plugin - Tutorial
AbsInt Webinar: Batch Mode Execution of Astrée
Combining Dynamic Testing and Static Analysis for ISO 26262 Development
