22nd ACM/IEEE International Symposium on Formal Methods and Models for System Design
Date: Oct 03, 2024 7:00 am – Oct 04, 2024 4:00 pm
Location: Raleigh, NC
"MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development, to exchange ideas, research results and lessons learned. The symposium focuses on the foundations and applications of formal methods in the development of hardware, firmware, middleware, and application software for systems, ranging from single embedded devices to highly networked cyber-physical systems and the Internet of Things."
Topics of interest include, but are not limited to security.
Submitted by Gregory Rigby
on
Date: Oct 03, 2024 7:00 am – Oct 04, 2024 4:00 pm
Location: Raleigh, NC
"MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development, to exchange ideas, research results and lessons learned. The symposium focuses on the foundations and applications of formal methods in the development of hardware, firmware, middleware, and application software for systems, ranging from single embedded devices to highly networked cyber-physical systems and the Internet of Things."
Topics of interest include, but are not limited to security.
Submitted by Gregory Rigby
on