Skip to content
Multitude Corporation

Behavior Language for Embedded Systems with Software

  • Home
  • About BLESS
  • Specification
  • Behavior
  • Verification
  • Documentation
  • BLESS Examples
  • Plugin
  • FAQ
  • Contact Us

BLESS Specification

BLESS allows formal specification of embedded system behavior designed with the Architecture Analysis and Design Language (AADL).

Learn More

BLESS Behavior

BLESS programs behavior of AADL components using state-transition machines.

Learn More

BLESS Editor and Proof Assistant

BLESS has plugins to Open Source AADL Tool Environment (OSATE) for editing, and formal verification that behavior conforms to its specification

Learn More

Copyright © 2023 Multitude Corporation — Activation WordPress theme by GoDaddy