Now 5936 visitors
Today:0 Yesterday:0
Total: 149867 212S 50P 4R
2026-10-20, Week 43
Member Login
TACT Journal Homepage
Call for Paper
Committee
Find My Paper
Author Homepage
Statistics & History
Welcome Message
Paper Procedure
FAQ
Paper Archives
Outstanding Papers
Program & Proceedings
Presentation Platform
Hotel & Travel Info
Photo Gallery
Scheduler Login
Seminar
Archives Login
Sponsors


















Virual Oral Question and Answer
IEEE/ICACT20260385 Question.3
Questioner: hominpark@etri.re.kr    2026-02-10 오후 1:43:42 		IEEE/ICACT20260385 Answer.3
Answer by Auhor hripsime.hovhannisyan@rau.am   2026-02-10 오후 1:43:42
Unlike its perfect precision on Juliet, doesnt IKOSs failure with STL containers and complex loops—core elements of modern C++—critically undermine its practical utility for certifying real-world avionics systems? IKOS’s limitations with STL and complex loops create a significant coverage gap for modern C++, yet its utility in avionics remains high because safety-critical standards (like MISRA) often ban those exact features. Since avionics code typically avoids dynamic memory and complex templates, it stays within the "low-level" niche where IKOS provides the soundness and formal proof required for certification.

Select Voice