Automated Verification of Embedded Control Software - Track Introduction.

Dilian Gurov Paula Herber Ina Schaefer

Published in: ISoLA (3) (2020)

Keyphrases

control software
automated verification
model checking
automated reasoning
formal verification
control system
temporal logic
data sets
database