Formal Behavior Verification Made for Engineers
November 2019 • Presentation
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.
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.
This presentation was delivered by Brian R Larson of Multitude Corporation at AADL User Day 2019.