Modular Correctness Proofs of Behavioural Implementations.

Michel Bidoit Rolf Hennicker

Published in: Acta Informatica (1998)

Keyphrases

theorem proving
efficient implementation
multiscale
theorem prover
software implementation
modular architecture
collective decision making
modular neural networks
databases
neural network
real world
artificial intelligence
social networks
knowledge base
computer programs