PROVER

Filed: August 25, 2000
Computer software that performs automated logical reasoning and are commonly integrated into system development tools and…
Owned by: Prover Technology AB
Serial Number: 76117234