Advertisement
The goal of ICFEM 2024 is to bring together experts in formal methods and software engineering to advance the state of the art. Topics include fault prevention, testing, safety-critical systems, AI, and more. Liu, presenting on autonomy features and invariant generation.
Advertisement
Event Venue & Nearby Stays
International Conference Center, International Conference Center, Chittagong, CG, Bangladesh
Tickets