An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.

Kenro Yatake Takuya Katayama

Published in: MSVVEIS (2008)

Keyphrases

theorem proving
object oriented
theorem prover
automated reasoning
automated deduction
programming language
first order logic
inference rules
definition language
parallel search
proof procedure
automated theorem proving
logical inference
consequence finding