Formal Behavior Verification Made for Engineers
• Video
Watch Brian Larson deliver a presentation about BLESS, a superset of BA behavior.
Publisher
Software Engineering Institute
Watch
Abstract
Behavior Language for Embedded Systems with Software (BLESS), and its verification tool, was specifically designed to verify cyber-physical system behavior conforms to its specification, by practicing engineers.
BLESS, which began as a BA, uses first-order predicate calculus, extended by simple temporal operators and defines formal semantics for every construct.
This presentation was delivered by Brian R Larson of Multitude Corporation at AADL User Day 2019.