Formal Methods for Embedded Systems
Applications which depend on embedded systems
technology and particular domain knowledge
present a new challenge for Formal Methods.
Particular problem areas include:
Formal Methods for Embedded Devices
Sensor Network analysis
Embedded Security
Networked Appliances
Embedded Operating Systems