Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}

DOI10.1007/s00165-020-00514-3zbMath1458.68220arXiv1805.02858OpenAlexW3036333943MaRDI QIDQ2198134

Adnan Rashid, Osman Hasan

Publication date: 9 September 2020

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.02858

zbMATH Keywords

theorem provingformal verificationhigher-order logicHOL Lightrobotic cell injection systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Formalization of the inverse kinematics of three-fingered dexterous hand

Uses Software

• Maple
• Mathematica
• Matlab
• ML
• HOL
• HOL Light
• Robotica
• GitHub
• transcendentals.ml

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The HOL Light theory of Euclidean space
• The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems. Can We Trust in Them?
• Model checking of probabilistic and nondeterministic systems

This page was built for publication: Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}