WHITEPAPERS

Autocoding
From Specifications

Correct-by-Construction and Efficient C Code

Capturing and Analyzing
Requirements

From Natural Language Requirements to Logical Representations

Provably Resilient
Integration Architecture

From Logical to Physical Architectures

Practicing Safer C

Provably Safe Invariant for Safe Integration