Towards Automated Proof of Fail-Safe Behaviour.

Peter Liggesmeyer Martin Rothfelder

Published in: SAFECOMP (1998)

Keyphrases

fully automated
automated theorem provers
semi automated
information systems
linear logic
computer assisted
database
real time
data mining
mobile robot
computer aided
theorem proving
proof theory