Formal Verification of a Fully Automated Out-of-Plane Cell Injection System.

Iram Tariq Bhatti Osman Hasan

Published in: ISQED (2020)

Keyphrases

fully automated
formal verification
model checking
fully automatic
semi automated
automated verification
model checker
bounded model checking
symbolic model checking
completely automated
program slicing
manual segmentation
labor intensive
three dimensional
temporal logic