Formal Verification of Complex Data Paths: An Industrial Experience.

Carl-Johan H. Seger

Published in: FM (2021)

Keyphrases

complex data
formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
high dimensional data
program slicing
shortest path
temporal logic
industrial applications
machine learning
image processing
domain independent