Formal Methods in System Design

Formal Methods in System Design is a journal dedicated to presenting the latest advancements in formal methods for hardware and software system design.

• Reports on formal methods for designing, implementing, and validating hardware and software systems.
• Publishes high quality, original papers spanning all aspects of formal methods.
• Aims to build a valuable collection of widely applicable formal methods.
• Serves as an international platform for the dissemination of research related to the application and development of formal methods.
• Invites papers describing original work in all aspects of formal methods as they relate to system design.