Product Directory

Formal Specification

BTC EmbeddedSpecifier is a tool used to create and manage semi-formal and formal requirements for safety-critical projects. While a semi-formal and formal notation of requirements is recommended in standards like ISO 26262 and IEC 61508, most formal notation languages require a high level of expert knowledge to both read and write them. Instead of having to create formal requirements from scratch, BTC EmbeddedSpecifier provides you with an intuitive method to derive comprehensible formal requirements from natural language without expert knowledge.