Brian Larson
Status Updates for Brian Larson
-
Behavioral Language for Embedded Systems with Software: semi-automatic generation of correctness proofs of software for real-time systems