Formal Methods in System Design mantiene a sus lectores actualizados sobre los últimos métodos formales para el diseño, implementación y validación de la exactitud de sistemas de hardware y software (VLSI). El estímulo para iniciar una revista con este objetivo provino tanto de la academia como de la industria, ya que en ambas áreas el interés por el uso de métodos formales ha aumentado rápidamente en los últimos años. El enorme costo en recursos monetarios y tiempo que requiere la validación de nuevos diseños ha llevado a la conclusión de que deben desarrollarse técnicas más poderosas. Una serie de técnicas y herramientas están siendo creadas actualmente para mejorar la fiabilidad y robustez de los sistemas de hardware y software complejos. Mientras que el límite entre los (sub)componentes de un sistema en hardware, firmware o software siguen desdibujándose, las disciplinas de diseño y métodos formales pertinentes están consolidándose rápidamente. En consecuencia, se espera que emerja una importante y útil colección de métodos formales comúnmente aplicables que influirán fuertemente futuros entornos y métodos de diseño. La revista es una tribuna internacional para la difusión de la investigación relacionada con la aplicación y el desarrollo de métodos formales tanto en hardware (VLSI) como en diseño de sistemas de software.