Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).

Ezio Bartocci Yliès Falcone

Published in: ISoLA (2) (2016)

Keyphrases

industrial applications
model checking
industrial systems
formal verification
viewpoint
databases
computer vision
information systems
systems engineering
information retrieval
decision trees
multi agent systems
relational databases
access control
real time tracking
verification method