IAR Systems boosts capabilities for designing and verifying embedded applications based on state machines
Version 7.1 of IAR visualSTATE adds an extensive amount of features for state machine-based design and formal verificationUppsala, Sweden—March 27, 2013—Today, IAR Systems® launches a new version of its state machine tool suite IAR visualSTATE®. The version adds several new features and integrations to simplify development of complex state- or event-driven embedded systems. IAR visualSTATE allows users to build their design from a high level, structure complex applications, step by step add functions in detail, and automatically generate code that is 100 percent consistent with the design.