HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.

Christoph Lüth Einar W. Karlsen Kolyang Stefan Westmeier Burkhart Wolff

Published in: ZUM (1998)

Keyphrases

mobile robot
test bed
case study
neural network
theorem prover
data sets
learning algorithm
three dimensional
bayesian networks
multiscale
data analysis
evolutionary algorithm
formal methods