Sign in

Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light.

Adnan RashidOsman Hasan
Published in: Formal Aspects Comput. (2020)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • formal methods
  • complex systems
  • degrees of freedom
  • robotic cell