Formal Behavior Verification Made for Engineers
• 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.
Publisher
Software Engineering Institute
Subjects
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.