Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover.

Sitar Kortik Tejas Kumar Shastha

Published in: ICRA (2021)

Keyphrases

theorem prover
formal verification
linear logic
automated verification
automated reasoning
proof search
theorem proving
model checking
expert systems
inference rules
natural deduction
first order logic
term rewriting
symbolic model checking
automated theorem proving
random variables
search space