Towards formalising AADL in Proof Assistants.

Jean-Paul Bodeveix David Chemouil Mamoun Filali Martin Strecker

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

linear logic
data mining
image segmentation
theorem proving
theorem prover
intelligent agents
test cases
proof planning
test case generation
proof theory
bayesian networks
high level
artificial intelligence
knowledge representation
expert systems
automated theorem proving
three dimensional
decision trees