Login / Signup
The OTTER environment for resolution-based proof of hardware correctness.
Paolo Camurati
Tiziana Margaria
Paolo Prinetto
Published in:
Microprocessing and Microprogramming (1990)
Keyphrases
</>
theorem prover
real time
low cost
mobile robot
database
computer systems
personal computer
automatic theorem proving
evolutionary algorithm
dynamic environments
hardware and software
computing systems
consequence finding
low resolution
virtual world
massively parallel